k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

[[K-user] ] bug in K5?

From: 璟临天下 <qjq793437528 AT 163.com>
To: k-user <k-user AT lists.cs.illinois.edu>
Subject: [[K-user] ] bug in K5?
Date: Wed, 19 Sep 2018 14:39:18 +0800 (CST)
Authentication-results: illinois.edu; spf=none smtp.mailfrom=qjq793437528 AT 163.com; dkim=pass header.d=163.com header.s=s110527; dmarc=none

i installed the K5 just now, and kompile the tutorial, imp.k, successfully. However, when i try to kompile the simple_untyped .k, there is some errors about the BAG occurred.

i have committed all rules for simplifying , the log as follow:

....kompile simple-untyped.k
40 states, 1247 transitions, table size 5228 bytes
File "realdef.ml", line 2322, characters 81-82:
Error: Syntax error: ')' expected
File "realdef.ml", line 2322, characters 61-62:
Error: This '(' might be unmatched
[Error] Critical: ocamlopt returned nonzero exit code: 2
Examine output to see errors.
[Warning] Compiler: missing entry for hook BAG.concat
[Warning] Compiler: missing entry for hook BAG.element
[Warning] Compiler: missing entry for hook BAG.unit

how can i fix this problem ? thanks i advance.

[[K-user] ] bug in K5?, 璟临天下, 09/19/2018
- Re: [[K-user] ] bug in K5?, Traian Florin Şerbănuţă, 09/19/2018