k-user AT lists.siebelschool.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] a question about strictness annotation

From: Ömer Sinan Ağacan <omeragacan AT gmail.com>
To: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] a question about strictness annotation
Date: Mon, 16 Sep 2013 06:42:13 +0300
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

A correction:

> rule <k> somePredicate(E1:Exp, E2:Exp) ~> E1 ~>
> somePredicate1(HOLE, E2) ... </k>

should be

rule <k> somePredicate(E1:Exp, E2:Exp) => E1 ~>
somePredicate1(HOLE, E2) ... </k>

---
Ömer Sinan Ağacan
http://osa1.net

[K-user] a question about strictness annotation, Ömer Sinan Ağacan, 09/15/2013
- Re: [K-user] a question about strictness annotation, Ömer Sinan Ağacan, 09/15/2013
  - Re: [K-user] a question about strictness annotation, Andrei Arusoaie, 09/16/2013
    - Re: [K-user] a question about strictness annotation, Ömer Sinan Ağacan, 09/16/2013
      - Re: [K-user] a question about strictness annotation, Andrei Arusoaie, 09/16/2013
        
        Re: [K-user] a question about strictness annotation, Ömer Sinan Ağacan, 09/16/2013