diff options
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 |