diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2021-07-06 14:05:00 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-07-06 14:05:00 +0200 |
| commit | 5e052ff4997a407f6e97fd7ce97aa3911cd78157 (patch) | |
| tree | 106d4ff2a5b4548f3bea6a83ffcc9b8664b2f179 /src/compiler/GF/Compile/Compute/Value.hs | |
| parent | 1b66bf2773b0feda528d3b22fbaf06227a51b864 (diff) | |
| parent | d2fb755fab8b9ba2dcde20d2854b1f90fb8c2f76 (diff) | |
Merge pull request #119 from GrammaticalFramework/concrete-new
Clean up Compute.ConcreteNew and TypeCheck.RConcrete
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) |