K-user mailing list

[Ömer Sinan Ağacan <omeragacan AT gmail.com>]

They don't work under latest version, I tried to fix some syntactic
problems but there are other kinds of problems too.

What I fixed but still couldn't run it:

  * `module Name is Contents end module` syntax is changed to `module
Name Contents endmodule`

  * superheat and hybrid keywords are apparently removed (are those
unnecessary now? or simply replaced by something else?)

  * ` character before terminals doesn't work

  * define keyword is also removed

  * List{K} syntax doesn't work (I think the problem is that we now
have to specify the separator, in that case what separator should I
add to make it work with no other changes?)


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


2013/9/10 Dorel Lucanu 
<dlucanu AT info.uaic.ro>:
> Congratulations!
> Ocaml definition is a surprise for me, I knew that you are developing the
> Haskel definition.
> But, of course, they have lot in common ...
> Dorel
>
>
> On 9/10/13 7:17 PM, David Lazar wrote:
>>
>> Hello K users,
>>
>> The OCaml definition and LLVM definition I co-developed with Chucky
>> Ellison are now available under the kframework Github project:
>>
>> https://github.com/kframework/ocaml-semantics
>>
>> https://github.com/kframework/llvm-semantics
>>
>> There are publications lurking in both of these projects but I don't
>> have time to take the lead on them. If you want to take the lead, let
>> me know and I can help you get started.
>>
>> Cheers,
>> David
>> _______________________________________________
>> k-user mailing list
>> k-user AT cs.uiuc.edu
>> http://lists.cs.uiuc.edu/mailman/listinfo/k-user
>
>
> _______________________________________________
> k-user mailing list
> k-user AT cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/k-user