Except that this isn't actually allowed because happyReduce_1 appears
in a restricted binding group, and hence can't have any context in its
type. So, at this point, Hugs complains. GHC, I assume, just assigns
hugsReduce_1 a monomorphic type, only to find at some later point that
the list
ghc-3.01 complains about a syntax error in the following cut down
program:
module Fehler where
data Constr
= (:-:) { expr :: LambdaCExpr, context :: ContextTerm }
kinetic% ghc Fehler.hs
Fehler.hs:4:12: parse error on input: "{"
Hugs 1.4 accepts the module and seems to do what was