diff options
Diffstat (limited to 'src/compiler/GF/Compile')
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Predef.hs | 2 | ||||
| -rw-r--r-- | src/compiler/GF/Compile/Compute/Value.hs | 4 | ||||
| -rw-r--r-- | src/compiler/GF/Compile/Multi.hs | 4 | ||||
| -rw-r--r-- | src/compiler/GF/Compile/TypeCheck/TC.hs | 2 |
4 files changed, 6 insertions, 6 deletions
diff --git a/src/compiler/GF/Compile/Compute/Predef.hs b/src/compiler/GF/Compile/Compute/Predef.hs index 74697a89b..ba215ba30 100644 --- a/src/compiler/GF/Compile/Compute/Predef.hs +++ b/src/compiler/GF/Compile/Compute/Predef.hs @@ -98,7 +98,7 @@ delta f vs = Plus -> ap2 ((+)::Int->Int->Int) EqInt -> ap2 ((==)::Int->Int->Bool) LessInt -> ap2 ((<)::Int->Int->Bool) - {- | Show | Read | ToStr | MapStr | EqVal -} + {- -- | Show | Read | ToStr | MapStr | EqVal -} Error -> ap1 VError -- Canonical values: PBool -> canonical diff --git a/src/compiler/GF/Compile/Compute/Value.hs b/src/compiler/GF/Compile/Compute/Value.hs index f076e47ba..35f093ada 100644 --- a/src/compiler/GF/Compile/Compute/Value.hs +++ b/src/compiler/GF/Compile/Compute/Value.hs @@ -11,7 +11,7 @@ data Value | VCApp QIdent [Value] -- from QC, constructors | VGen Int [Value] -- for lambda bound variables, possibly applied | VMeta MetaId Env [Value] --- | VClosure Env Term -- used in Typecheck.ConcreteNew +-- -- | VClosure Env Term -- used in Typecheck.ConcreteNew | VAbs BindType Ident Binding -- used in Compute.ConcreteNew | VProd BindType Value Ident Binding -- used in Compute.ConcreteNew | VInt Int @@ -32,7 +32,7 @@ data Value | VFV [Value] | VAlts Value [(Value, Value)] | VStrs [Value] --- | VGlue Value Value -- hmm +-- -- | VGlue Value Value -- hmm | VExtR Value Value -- hmm | VError String deriving (Eq,Show) diff --git a/src/compiler/GF/Compile/Multi.hs b/src/compiler/GF/Compile/Multi.hs index 59e8ed34c..38c8bfdc7 100644 --- a/src/compiler/GF/Compile/Multi.hs +++ b/src/compiler/GF/Compile/Multi.hs @@ -17,10 +17,10 @@ import Data.Char > langs Eng Fin Swe -- baseline rules: semicolon-separated line-by-line entries update abs and cncs, adding to S -cheers ; skål ; terveydeksi +cheers ; skÃ¥l ; terveydeksi -- alternatives within a language are comma-separated -cheers ; skål ; terveydeksi, kippis +cheers ; skÃ¥l ; terveydeksi, kippis -- more advanced: verbatim abstract rules prefixed by "> abs" > abs cat Drink ; diff --git a/src/compiler/GF/Compile/TypeCheck/TC.hs b/src/compiler/GF/Compile/TypeCheck/TC.hs index 531d862f4..570a07275 100644 --- a/src/compiler/GF/Compile/TypeCheck/TC.hs +++ b/src/compiler/GF/Compile/TypeCheck/TC.hs @@ -42,7 +42,7 @@ data AExp = | AApp AExp AExp Val | AAbs Ident Val AExp | AProd Ident AExp AExp --- | AEqs [([Exp],AExp)] --- not used +-- -- | AEqs [([Exp],AExp)] --- not used | ARecType [ALabelling] | AR [AAssign] | AP AExp Label Val |