From c3beefba47d9b3affa35f736c29dfd64565728b4 Mon Sep 17 00:00:00 2001 From: hallgren Date: Tue, 18 Dec 2012 13:03:20 +0000 Subject: [PATCH] partial evaluator bug fix Int was missing from the list of predefined canonical constants. --- src/compiler/GF/Compile/Compute/Predef.hs | 3 ++- src/compiler/GF/Compile/Compute/Value.hs | 2 +- 2 files changed, 3 insertions(+), 2 deletions(-) diff --git a/src/compiler/GF/Compile/Compute/Predef.hs b/src/compiler/GF/Compile/Compute/Predef.hs index c7ba532aa..813ee78d4 100644 --- a/src/compiler/GF/Compile/Compute/Predef.hs +++ b/src/compiler/GF/Compile/Compute/Predef.hs @@ -70,7 +70,7 @@ predefList = -- cShow, cRead, cMapStr, cEqVal (cError,Error), -- Canonical values: - (cPBool,PBool),(cPFalse,PFalse),(cPTrue,PTrue),(cInts,Ints)] + (cPBool,PBool),(cPFalse,PFalse),(cPTrue,PTrue),(cInt,Int),(cInts,Ints)] --- add more functions!!! delta f vs = @@ -93,6 +93,7 @@ delta f vs = Error -> ap1 VError -- Canonical values: PBool -> canonical + Int -> canonical Ints -> canonical PFalse -> canonical PTrue -> canonical diff --git a/src/compiler/GF/Compile/Compute/Value.hs b/src/compiler/GF/Compile/Compute/Value.hs index bbc751ee4..e05d29e42 100644 --- a/src/compiler/GF/Compile/Compute/Value.hs +++ b/src/compiler/GF/Compile/Compute/Value.hs @@ -51,5 +51,5 @@ data Predefined = Drop | Take | Tk | Dp | EqStr | Occur | Occurs | ToUpper {- | Show | Read | ToStr | MapStr | EqVal -} | Error -- Canonical values below: - | PBool | PFalse | PTrue | Ints + | PBool | PFalse | PTrue | Int | Ints deriving (Show,Eq,Ord,Ix,Bounded,Enum)