k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] bug in K5?

From: Traian Florin Şerbănuţă <traian.serbanuta AT unibuc.ro>
To: 璟临天下 <qjq793437528 AT 163.com>
Cc: k-user <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] bug in K5?
Date: Wed, 19 Sep 2018 12:09:18 +0300
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=traian.serbanuta AT unibuc.ro; dkim=pass header.d=unibuc-ro.20150623.gappssmtp.com header.s=20150623; dmarc=none

Hello,

Can you try to compile it with "--backend java" option? It sometimes works when the faster but less complete Ocaml backend (the default) doesn't.

Best wishes,

Traian Șerbănuță

mie., 19 sept. 2018, 09:43 璟临天下 <qjq793437528 AT 163.com> a scris:

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