From 1a0036dd679b1bb5fde17ca70c698129dda3a92a Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 2 Mar 2016 22:31:52 +0000 Subject: [PATCH] Predef.Ints is of type PType not Type --- src/prelude/Predef.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prelude/Predef.gf b/src/prelude/Predef.gf index b4dcbc5e9..86138db1b 100644 --- a/src/prelude/Predef.gf +++ b/src/prelude/Predef.gf @@ -13,7 +13,7 @@ resource Predef = { oper Error : Type = variants {} ; -- the empty type oper Int : Type = variants {} ; -- the type of integers - oper Ints : Int -> Type = variants {} ; -- the type of integers from 0 to n + oper Ints : Int -> PType = variants {} ; -- the type of integers from 0 to n oper error : Str -> Error = variants {} ; -- forms error message oper length : Tok -> Int = variants {} ; -- length of string