K-user mailing list

[Andreas Zwinkau <zwinkau AT kit.edu>]

How do you integrate program checker (e.g. type checker) and program
evaluation into one module?

Tutorial 5 rewrites evaluators into type checkers, but ultimately, you
want to type check and then evaluate a program.

One idea I have is to use different cells.

        <k>$PGM</k><check>$PGM</check>

That gets tedious, because every eval rule requires the checker to be
finished. Effectively, the rules become more verbose.

There is no phase concept or something in K, I assume?

-- 
Andreas Zwinkau

 Karlsruhe Institute of Technology (KIT)
 Phone:  +4972160848351
 Email:  
zwinkau AT kit.edu
 Web:    http://pp.info.uni-karlsruhe.de/personhp/andreas_zwinkau.php

Attachment: signature.asc
Description: OpenPGP digital signature