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

Predef.Ints is of type PType not Type

Browse Source
This commit is contained in:
krasimir
2016-03-02 22:31:52 +00:00
parent c6218d768a
commit cbdbd1dd8e
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -13,7 +13,7 @@ resource Predef = {
oper Error : Type = variants {} ; -- the empty type oper Error : Type = variants {} ; -- the empty type
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 Ints : Int -> PType = variants {} ; -- the type of integers from 0 to n
oper error : Str -> Error = variants {} ; -- forms error message oper error : Str -> Error = variants {} ; -- forms error message
oper length : Tok -> Int = variants {} ; -- length of string oper length : Tok -> Int = variants {} ; -- length of string