@@ -87,6 +87,8 @@ toDecls ds@(ValueDeclaration ident _ bs _ _ : _) = do
87 let tuples = map toTuple ds
87 let tuples = map toTuple ds
88 unless (all ((== length bs) . length . fst) tuples) $
88 unless (all ((== length bs) . length . fst) tuples) $
89 throwError $ mkErrorStack ("Argument list lengths differ in declaration " ++ show ident) Nothing
89 throwError $ mkErrorStack ("Argument list lengths differ in declaration " ++ show ident) Nothing
90+ unless (not $ null bs) $
91+ throwError $ mkErrorStack ("Top level case disallowed in declaration " ++ show ident) Nothing
90 caseDecl <- makeCaseDeclaration ident tuples
92 caseDecl <- makeCaseDeclaration ident tuples
91 return [caseDecl]
93 return [caseDecl]
92toDecls (PositionedDeclaration pos d : ds) = do
94toDecls (PositionedDeclaration pos d : ds) = do