diff options
| author | aarne <unknown> | 2004-09-23 14:41:42 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-09-23 14:41:42 +0000 |
| commit | 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 (patch) | |
| tree | 0a04734e741c294cb9f58cfdcafa2ff2b55894dd /grammars | |
| parent | d5b4230d6dbee8c03eedf8d181dfa2badf1a954b (diff) | |
Ints n
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/prelude/Predef.gf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/grammars/prelude/Predef.gf b/grammars/prelude/Predef.gf index ec56cbfe4..866ce5b6a 100644 --- a/grammars/prelude/Predef.gf +++ b/grammars/prelude/Predef.gf @@ -7,7 +7,8 @@ resource Predef = { -- these operations have their proper definitions in AppPredefined.hs - oper Int : Type = variants {} ; -- the type of integers + oper Int : Type = variants {} ; -- the type of integers + oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n oper length : Tok -> Int = variants {} ; -- length of string oper drop : Int -> Tok -> Tok = variants {} ; -- drop prefix of length @@ -15,6 +16,7 @@ resource Predef = { oper tk : Int -> Tok -> Tok = variants {} ; -- drop suffix of length oper dp : Int -> Tok -> Tok = variants {} ; -- take suffix of length oper eqInt : Int -> Int -> PBool = variants {} ; -- test if equal integers + oper lessInt: Int -> Int -> PBool = variants {} ; -- test order of integers oper plus : Int -> Int -> Int = variants {} ; -- add integers oper eqStr : Tok -> Tok -> PBool = variants {} ; -- test if equal strings oper occur : Tok -> Tok -> PBool = variants {} ; -- test if occurs as substring |