msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Condense the unsupported token gluing as per John's suggestion

Browse Source
This commit is contained in:
Inari Listenmaa
2020-06-05 19:39:31 +02:00
parent dbc7297d80
commit de8cc02ba5
2 changed files with 31 additions and 23 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
doc/errors/gluing.md Normal file
View File

@@ -0,0 +1,27 @@
## unsupported token gluing `foo + bar`
There was a problem in an expression using +, e.g. `foo + bar`.
This can be due to two causes, check which one applies in your case.
1. You are trying to use + on runtime arguments. Even if you are using
`foo + bar` in an oper, make sure that the oper isn't called in a
linearization that takes arguments. Both of the following are illegal:
lin Test foo bar = foo.s + bar.s -- explicit + in a lin
lin Test foo bar = opWithPlus foo bar -- the oper uses +
2. One of the arguments in `foo + bar` is a bound variable
from pattern matching a string, but the cases are non-exhaustive.
Example:
case "test" of {
x + "a" => x + "b" -- no applicable case for "test", so x = ???
} ;
You can fix this by adding a catch-all case in the end:
{ x + "a" => x + "b" ;
_ => "default case" } ;
3. If neither applies to your problem, submit a bug report and we
will update the error message and this documentation.
https://github.com/GrammaticalFramework/gf-core/issues

27
src/compiler/GF/Compile/Compute/ConcreteNew.hs
View File

@@ -297,29 +297,10 @@ glue env (v1,v2) = glu v1 v2
in error $ unlines
[originalMsg
,""
,"There was a problem in the expression `" ++ term ++ "`"
,"This can be due to two causes, check which one applies in your case."
,""
,"1) You are trying to use + on runtime arguments. Even if you are using"
," `"++term++"` in an oper, make sure that the oper isn't called in a"
," linearization that takes arguments. Both of the following are illegal:"
,""
," lin Test foo bar = foo.s + bar.s <- explicit + in a lin"
," lin Test foo bar = opWithPlus foo bar <- the oper uses +"
,""
,"2) One of the arguments in `"++term++"` is a bound variable"
," from pattern matching a string, but the cases are non-exhaustive."
," Example:"
," case \"test\" of {"
," x + \"a\" => x + \"b\" <- no applicable case for \"test\", so x = ???"
," } ;"
,""
," You can fix this by adding a catch-all case in the end:"
," { x + \"a\" => x + \"b\" ;"
," _ => \"default case\" } ;"
,""
,"3) If neither applies, submit a bug report and we update the error message."
," https://github.com/GrammaticalFramework/gf-core/issues"
,"There was a problem in the expression `"++term++"`, either:"
,"1) You are trying to use + on runtime arguments, possibly via an oper."
,"2) One of the arguments in `"++term++"` is a bound variable from pattern matching a string, but the cases are non-exhaustive."
,"For more help see https://github.com/GrammaticalFramework/gf-core/tree/master/doc/errors/gluing.md"
]