k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [K-user] C-style comments

From: Radu Mereuta <headness13 AT gmail.com>
To: Omar Duhaiby <3omarz AT gmail.com>
Cc: "k-user AT cs.uiuc.edu" <k-user AT cs.uiuc.edu>
Subject: Re: [K-user] C-style comments
Date: Mon, 17 Nov 2014 10:41:22 -0600
List-archive: <http://lists.cs.uiuc.edu/pipermail/k-user/>
List-id: <k-user.cs.uiuc.edu>

Hi Omar,

The C-style comments are on by default right now in all parsers (programs and definition).

For the future we plan to allow the user to define the whitespace, but right now we use only //... and /* ... */ as comments, and tabs, spaces, new line are ignored.

Radu,

K-developer

On Fri, Nov 14, 2014 at 10:08 AM, Omar Duhaiby <3omarz AT gmail.com> wrote:

Hello,

I couldn't figure out how to do C-style comments. I couldn't find it in any of the examples.

_______________________________________________
k-user mailing list
k-user AT cs.uiuc.edu
http://lists.cs.uiuc.edu/mailman/listinfo/k-user

[K-user] C-style comments, Omar Duhaiby, 11/14/2014
- Re: [K-user] C-style comments, Radu Mereuta, 11/17/2014