>For once something new: > >module test > >Start = test > >:: A i = A i >:: B :== A.i: A i > >test :: [B] >test = [] > >gives > > lift (TFA) (unitype.icl) > >on dreadful black screen.
A for all quantifier (A. var: ) can only be used at the beginning of the type of a function argument, constructor argument or field of a record. Not in a type synonym. Unfortunately the parser accepts the quantifier almost everywhere in a type, and this may cause a compiler crash. Kind regards, John van Groningen _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
