From b2158cc2a0c6b12812f800d239e2f43c31d60367 Mon Sep 17 00:00:00 2001 From: krasimir Date: Tue, 7 Mar 2017 20:12:56 +0000 Subject: [PATCH] added Predef.Float in Predef.gf --- lib/src/prelude/Predef.gf | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/src/prelude/Predef.gf b/lib/src/prelude/Predef.gf index 86138db1b..1ce4aa439 100644 --- a/lib/src/prelude/Predef.gf +++ b/lib/src/prelude/Predef.gf @@ -12,6 +12,7 @@ resource Predef = { param PBool = PTrue | PFalse ; oper Error : Type = variants {} ; -- the empty type + oper Float : Type = variants {} ; -- the type of floats oper Int : Type = variants {} ; -- the type of integers oper Ints : Int -> PType = variants {} ; -- the type of integers from 0 to n