search

kframework / k-legacy

The K tools (deprecated, see README)
http://kframework.org
Other
146 stars 61 forks source link

Simple Tutorial Script failing on OS X #2377

Open jcarlson23 opened 6 years ago

jcarlson23 commented 6 years ago

After moving the lambda.k script into the project folder I tried the following (with the top of the stack trace):

$ ./bin/kompile --debug lambda.k org.kframework.kore.convertors.KILTransformation$VisitingException: syntax KString ::= Lexical{\"*[\"]} at location Location(20,3,20,205) in file Source(/Users/jaredcarlson/Projects/k/lib/java/../../include/builtin/kast.k) of class class org.kframework.kil.Syntax at org.kframework.kore.convertors.KILTransformation.apply(KILTransformation.java:36) at org.kframework.kore.convertors.KILtoKORE.apply(KILtoKORE.java:164) at org.kframework.kore.convertors.KILtoKORE.lambda$apply$148(KILtoKORE.java:106) at org.kframework.kore.convertors.KILtoKORE$$Lambda$34/768776793.apply(Unknown Source)

There's more but that's the top of the trace...