GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-04-09 04:59:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

added Predef.Float in Predef.gf

Browse Source
This commit is contained in:
krasimir
2017-03-07 20:12:56 +00:00
parent ed45e0d9f4
commit b2158cc2a0
1 changed files with 1 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/src/prelude/Predef.gf
View File

@@ -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