Fix error message when path constructors are written without the type in

curly braces

diff --git a/Resolver.hs b/Resolver.hs
index a13817f8084814a2f68a973858e7352504341ccb..40fd0ecf7878ca40502c8f16c30c03167739310e 100644 (file)
--- a/Resolver.hs
+++ b/Resolver.hs
@@ -138,7 +138,10 @@ resolveVar (AIdent (l,x))
     case lookup x vars of
       Just Variable    -> return $ CTT.Var x
       Just Constructor -> return $ CTT.Con x []
-      Just PConstructor -> undefined -- error!
+      Just PConstructor -> throwError $ "The path constructor " ++ x ++ " is used as a"
+                                     ++ " variable at " ++ show l ++ " in " ++ modName
+                                     ++ " (path constructors should have their type in"
+                                     ++ " curly braces as first argument)"
       Just Name        ->
         throwError $ "Name " ++ x ++ " used as a variable at position " ++
                      show l ++ " in module " ++ modName