summaryrefslogtreecommitdiff
path: root/src/compiler/GF
diff options
context:
space:
mode:
authorkrangelov <kr.angelov@gmail.com>2021-02-26 14:59:18 +0100
committerkrangelov <kr.angelov@gmail.com>2021-02-26 14:59:18 +0100
commitba3e09cc38d0b70a2e3d5bf7e302e5781c501ec3 (patch)
tree78c6a3d1a1d5039927cad33371c2a484d52590b6 /src/compiler/GF
parent8fbfc0b4a91a4582ebc0491de81fc6822bdca452 (diff)
parent173fca7f125e84736e3d1cfe5b1b2e0b8d729141 (diff)
Merge branch 'master' of https://github.com/GrammaticalFramework/gf-core
Diffstat (limited to 'src/compiler/GF')
-rw-r--r--src/compiler/GF/Compile/GeneratePMCFG.hs5
1 files changed, 4 insertions, 1 deletions
diff --git a/src/compiler/GF/Compile/GeneratePMCFG.hs b/src/compiler/GF/Compile/GeneratePMCFG.hs
index 35c25cc0d..ab6476b31 100644
--- a/src/compiler/GF/Compile/GeneratePMCFG.hs
+++ b/src/compiler/GF/Compile/GeneratePMCFG.hs
@@ -622,7 +622,9 @@ ppbug msg = error completeMsg
where
originalMsg = render $ hang "Internal error in GeneratePMCFG:" 4 msg
completeMsg =
- unlines [originalMsg
+ case render msg of -- the error message for pattern matching a runtime string
+ "descend (CStr 0,CNil,CProj (LIdent (Id {rawId2utf8 = \"s\"})) CNil)"
+ -> unlines [originalMsg -- add more helpful output
,""
,"1) Check that you are not trying to pattern match a /runtime string/."
," These are illegal:"
@@ -633,5 +635,6 @@ ppbug msg = error completeMsg
,"2) Not about pattern matching? Submit a bug report and we update the error message."
," https://github.com/GrammaticalFramework/gf-core/issues"
]
+ _ -> originalMsg -- any other message: just print it as is
ppU = ppTerm Unqualified