Hi Andrei, This looks like it's a bug - could you please send me your specs so I can recreate it? Thanks, Sam Owre <popescu2@xxxxxxxx> wrote: > When i try to typecheck my specification, I get the message: > > Break: make-subtype-tcc-decl freevars > > I have no idea what this means and I cannot find it documented anywhere. > > Thanks in advance, > Andrei Popescu