Ampersand
Ampersand copied to clipboard
Fatal 249 SQL cannot create closures
Hi Han,
I'm getting a fatal error !fatal 249 (module FSpec.SQL) Ampersand v3.1.0[master:7fedefc] SQL cannot create closures EKl0 (
SELECT * FROM NotExistingKl0)
when generating the following script:
CONTEXT Test IN ENGLISH
PATTERN Test
r :: A * A [UNI,ASY,IRF,INJ]
ENDPATTERN
INTERFACE "Test" : I[A]
BOX [ "A" : r*]
ENDCONTEXT
Is the transclosure functionality something that I cannot use yet or is this a bug?