diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-01-20 01:15:28 +0800 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-01-20 01:15:28 +0800 |
| commit | 1a466c14c8c042763b25912c74663768314b6f6f (patch) | |
| tree | 8e9e42a2b7047b61a0324e507a43d4e295857b90 /src | |
| parent | d77921005a429406398167c713969c6d807e56fa (diff) | |
Don't print out the error msg for pattern matching unnecessarily
Diffstat (limited to 'src')
| -rw-r--r-- | src/compiler/GF/Compile/GeneratePMCFG.hs | 5 |
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 |