@@ -1152,9 +1152,9 @@ constraintList1 syn = try (do lchar '('
1152 return [(defname, NoFC, t)])
1152 return [(defname, NoFC, t)])
1153 <?> "type constraint list"
1153 <?> "type constraint list"
1154 where nexpr = try (do (n, fc) <- name; lchar ':'
1154 where nexpr = try (do (n, fc) <- name; lchar ':'
1155− e <- expr syn
1155+ e <- expr (disallowImp syn)
1156 return (n, fc, e))
1156 return (n, fc, e))
1157− <|> do e <- expr syn
1157+ <|> do e <- expr (disallowImp syn)
1158 return (defname, NoFC, e)
1158 return (defname, NoFC, e)
1159 defname = sMN 0 "constraint"
1159 defname = sMN 0 "constraint"