diff options
| author | hallgren <hallgren@chalmers.se> | 2013-09-09 16:23:01 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-09-09 16:23:01 +0000 |
| commit | 3543cb7a16c3c376e98514d4db18822aa24a806b (patch) | |
| tree | d33f2e704cb2bd2fb8444499d8a8f83f63703560 /src/compiler/GF | |
| parent | 990789eb91fdb99f423f1ca85dfb0b1ff216875a (diff) | |
partial evaluator: prettier complaint about nonlinears patterns
Diffstat (limited to 'src/compiler/GF')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/ConcreteNew.hs | 3 |
1 files changed, 2 insertions, 1 deletions
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)) --{- |