diff options
| -rw-r--r-- | src/GF/Command/Commands.hs | 2 | ||||
| -rw-r--r-- | testsuite/runtime/typecheck/typecheck.gfs.gold | 5 |
2 files changed, 2 insertions, 5 deletions
diff --git a/src/GF/Command/Commands.hs b/src/GF/Command/Commands.hs index d14067ed1..d915ac5bf 100644 --- a/src/GF/Command/Commands.hs +++ b/src/GF/Command/Commands.hs @@ -644,7 +644,7 @@ allCommands cod env@(pgf, mos) = Map.fromList [ else space $$ text "fun" <+> vcat [ppCId fid <+> colon <+> ppType 0 [] ty | (fid,ty) <- functionsToCat pgf id]) - Nothing -> do putStrLn "unknown identifier" + Nothing -> do putStrLn ("unknown category of function identifier "++show id) return void [e] -> case inferExpr pgf e of Left tcErr -> error $ render (ppTcError tcErr) diff --git a/testsuite/runtime/typecheck/typecheck.gfs.gold b/testsuite/runtime/typecheck/typecheck.gfs.gold index f4c48d250..5e27e1482 100644 --- a/testsuite/runtime/typecheck/typecheck.gfs.gold +++ b/testsuite/runtime/typecheck/typecheck.gfs.gold @@ -7,10 +7,7 @@ A function type is expected for the expression 1 instead of type Int Couldn't match expected type Int -> Int
against inferred type Int
In the expression: 1
-
-
-Function unknown_fun is not in scope
-
+unknown category of function identifier unknown_fun
Category unknown_cat is not in scope
Cannot infer the type of expression \x -> x
|