diff options
| author | aarne <unknown> | 2004-04-01 09:51:32 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-04-01 09:51:32 +0000 |
| commit | f53f35978f4cd6b0e4c5e9123b5e88f04f6f4452 (patch) | |
| tree | 100fc2f36a0dccc24c030b5a82389dac70780902 /grammars | |
| parent | 3f9b4e7855cf4594708a9fbad194c89540d2cf1e (diff) | |
2beta2
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/prelude/Prelude.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf index 1889f1086..4f8ad78c5 100644 --- a/grammars/prelude/Prelude.gf +++ b/grammars/prelude/Prelude.gf @@ -73,8 +73,8 @@ oper -- these were defined in Predef before isNil : Tok -> Bool = \b -> pbool2bool (Predef.eqStr [] b) ; - ifTok : (A : Type) -> Tok -> Tok -> A -> A -> A = \A,t,u,a,b -> - case Predef.eqStr t u of {Predef.PTrue => a ; Predef.PFalse => b} ; + ifTok : (A : Type) -> Tok -> Tok -> A -> A -> A = \A,t,u,a,b -> + case Predef.eqStr t u of {Predef.PTrue => a ; Predef.PFalse => b} ; -- so we need an interface pbool2bool : Predef.PBool -> Bool = \b -> case b of { |