@@ -91,7 +91,7 @@ toDecls ds@(ValueDeclaration ident _ bs g _ : _) = do
9191 unless (all ((== length bs) . length . fst) tuples) $
9292 throwError $ mkErrorStack ("Argument list lengths differ in declaration " ++ show ident) Nothing
9393 unless (not (null bs) || isJust g) $
94− throwError $ mkErrorStack ("Top level case disallowed in declaration " ++ show ident) Nothing
94+ throwError $ mkErrorStack ("Duplicate value declaration '" ++ show ident ++ "'") Nothing
9595 caseDecl <- makeCaseDeclaration ident tuples
9696 return [caseDecl]
9797toDecls (PositionedDeclaration pos d : ds) = do