diff options
| author | John J. Camilleri <john@digitalgrammars.com> | 2021-07-01 14:21:29 +0200 |
|---|---|---|
| committer | John J. Camilleri <john@digitalgrammars.com> | 2021-07-01 14:21:29 +0200 |
| commit | 71d99b9ecb2f59a5591bfdd9ab4695b00acbfd1c (patch) | |
| tree | 5562b7fa81661081367f219f32ed7fd24940450c /src/compiler/GF/Compile/Compute/Value.hs | |
| parent | d5c6aec3ec58b981d702eada8feab6685a0acea4 (diff) | |
Rename GF.Compile.Compute.ConcreteNew to GF.Compile.Compute.Concrete
Diffstat (limited to 'src/compiler/GF/Compile/Compute/Value.hs')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Value.hs | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/compiler/GF/Compile/Compute/Value.hs b/src/compiler/GF/Compile/Compute/Value.hs index 7eb0c3bfb..c3fb83b4b 100644 --- a/src/compiler/GF/Compile/Compute/Value.hs +++ b/src/compiler/GF/Compile/Compute/Value.hs @@ -12,8 +12,8 @@ data Value | VGen Int [Value] -- for lambda bound variables, possibly applied | VMeta MetaId Env [Value] -- -- | VClosure Env Term -- used in Typecheck.ConcreteNew - | VAbs BindType Ident Binding -- used in Compute.ConcreteNew - | VProd BindType Value Ident Binding -- used in Compute.ConcreteNew + | VAbs BindType Ident Binding -- used in Compute.Concrete + | VProd BindType Value Ident Binding -- used in Compute.Concrete | VInt Int | VFloat Double | VString String @@ -47,10 +47,10 @@ type Env = [(Ident,Value)] -- | Predefined functions data Predefined = Drop | Take | Tk | Dp | EqStr | Occur | Occurs | ToUpper - | ToLower | IsUpper | Length | Plus | EqInt | LessInt + | ToLower | IsUpper | Length | Plus | EqInt | LessInt {- | Show | Read | ToStr | MapStr | EqVal -} | Error | Trace -- Canonical values below: - | PBool | PFalse | PTrue | Int | Float | Ints | NonExist + | PBool | PFalse | PTrue | Int | Float | Ints | NonExist | BIND | SOFT_BIND | SOFT_SPACE | CAPIT | ALL_CAPIT deriving (Show,Eq,Ord,Ix,Bounded,Enum) |