K-user mailing list

[Andreas Zwinkau <zwinkau AT kit.edu>]

I worked through the K Tutorials, but at Tutorial 3, Lesson 1, Lambda++
I cannot reproduce the return example with latest-stable.

➤ kompile --version
K-framework nightly build.
SVN Revision: 9166
Build date: Mon Jan 14 18:26:56 EET 2013

➤ kompile lambda.k
➤ krun return.lambda
<k>
    #substituteBinder1 ( (mu f . (lambda #symId("local",, 1) . (callcc (
      lambda return . (f (if (#symId("local",, 1) <= 0) then ((return 1)
/ 0)
       else 2)))))) , return |-> 'cc(.K) , (vars ( SetItem(f) )) ,
(#freeVars
       ( List{K}2KLabel .K(.List{K}) , .Set , .Set )) ) ~> HOLE (if (-3
<= 0)
       then (('cc(.K) 1) / 0) else 2)
</k>

Instead it should have printed

<k>
 1
</k>

I suppose it is due to some changes in recent K?


I sent a similar mail to 
info AT k-framework.org
 yesterday, but no reply so
far.
-- 
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