Ampersand icon indicating copy to clipboard operation
Ampersand copied to clipboard

Fatal 249 SQL cannot create closures

Open Michiel-s opened this issue 9 years ago • 13 comments

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?

Michiel-s avatar Jul 07 '15 16:07 Michiel-s