From 3543cb7a16c3c376e98514d4db18822aa24a806b Mon Sep 17 00:00:00 2001 From: hallgren Date: Mon, 9 Sep 2013 16:23:01 +0000 Subject: [PATCH] partial evaluator: prettier complaint about nonlinears patterns --- src/compiler/GF/Compile/Compute/ConcreteNew.hs | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/compiler/GF/Compile/Compute/ConcreteNew.hs b/src/compiler/GF/Compile/Compute/ConcreteNew.hs index 7cb31a72b..3a05d62fb 100644 --- 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)) --{-