partial evaluator: prettier complaint about nonlinears patterns

2026-04-09 04:59:31 -06:00 · 2013-09-09 16:23:01 +00:00
parent 990789eb91
commit 3543cb7a16
1 changed files with 2 additions and 1 deletions
--- a/src/compiler/GF/Compile/Compute/ConcreteNew.hs
+++ b/src/compiler/GF/Compile/Compute/ConcreteNew.hs
@@ -329,7 +329,8 @@ valueTable env i cs =
                             pvs = nub allpvs
                             dups = allpvs \\ pvs
                         unless (null dups) $
-                           fail $ "Pattern is not linear: "++show p'
+                           fail.render $ hang (text "Pattern is not linear:") 4
+                                              (ppPatt Unqualified 0 p')
                         vt <- value (extend pvs env) t
                         return (p', \ vs -> Bind $ \ bs -> vt (push' p' bs pvs vs))
 --{-