mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-05-23 01:52:50 -06:00
Improved error msg for failed glue.
This commit is contained in:
@@ -238,6 +238,10 @@ computeTerm gr = comp where
|
|||||||
|
|
||||||
checkNoArgVars :: Term -> Err Term
|
checkNoArgVars :: Term -> Err Term
|
||||||
checkNoArgVars t = case t of
|
checkNoArgVars t = case t of
|
||||||
Vr (IA _) -> prtBad "cannot glue (+) term with run-time variable" t
|
Vr (IA _) -> Bad $ glueErrorMsg $ prt t
|
||||||
Vr (IAV _) -> prtBad "cannot glue (+) term with run-time variable" t
|
Vr (IAV _) -> Bad $ glueErrorMsg $ prt t
|
||||||
_ -> composOp checkNoArgVars t
|
_ -> composOp checkNoArgVars t
|
||||||
|
|
||||||
|
glueErrorMsg s =
|
||||||
|
"Cannot glue (+) term with run-time variable" +++ s ++ "." ++++
|
||||||
|
"Use Prelude.bind instead."
|
||||||
|
|||||||
@@ -1 +1 @@
|
|||||||
module Today where today = "Mon Nov 10 17:00:26 CET 2003"
|
module Today where today = "Mon Nov 10 17:40:41 CET 2003"
|
||||||
|
|||||||
Reference in New Issue
Block a user