The following error message just contains a typo before "existential context".
Cheers Christian Compiling Syntax ( Syntax.hs, ./Syntax.o ) Syntax.hs:56: Could not deduce (Institution id1 basic_spec1 local_env1, Institution id basic_spec local_env) from the context (Syntax id basic_spec, Syntax id1 basic_spec1) Probable fix: Add (Institution id1 basic_spec1 local_env1, Institution id basic_spec local_env) to the the existential context of a data constructor > ^^^^^^^ arising from use of `basic_analysis' at Syntax.hs:56 In the definition of `analyse': (basic_analysis l1 b1, basic_analysis l2 b2) _______________________________________________ Glasgow-haskell-bugs mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/glasgow-haskell-bugs