msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Finnish close to production ; Predef.occurs

Browse Source
This commit is contained in:
aarne
2005-06-26 19:40:31 +00:00
parent a9f0cc1d30
commit 19d635046c
8 changed files with 158 additions and 110 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
lib/prelude/Predef.gf
View File

@@ -20,6 +20,7 @@ resource Predef = {
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
oper occurs : Tok -> Tok -> PBool = variants {} ; -- test if any char occurs
oper show : (P : Type) -> P -> Tok = variants {} ; -- convert param to string
oper read : (P : Type) -> Tok -> P = variants {} ; -- convert string to param
oper toStr : (L : Type) -> L -> Str = variants {} ; -- find the "first" string