From 2c60a2d82a0d7b90924e7dbbcacf36afb8549d17 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Thu, 23 Sep 2004 14:41:42 +0000
Subject: Ints n

---
 grammars/prelude/Predef.gf | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'grammars')

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
-- 
cgit v1.2.3