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

Added mkText : Phr -> Text

Browse Source
This commit is contained in:
bringert
2007-04-20 22:55:55 +00:00
parent 0929f88133
commit c707c02e52
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

3
resource-1.0/api/Constructors.gf
View File

@@ -38,6 +38,7 @@ incomplete resource Constructors = open Grammar in {
mkText : overload {
mkText : Text ; -- [empty text]
mkText : Phr -> Text ; -- John walks.
mkText : Phr -> Text -> Text -- John walks. ...
} ;
@@ -591,6 +592,8 @@ incomplete resource Constructors = open Grammar in {
mkText = overload {
mkText : Text -- [empty text]
= TEmpty ;
mkText : Phr -> Text -- John walks.
= \x -> TFullStop x TEmpty ;
mkText : Phr -> Text -> Text -- John walks. ...
= TFullStop
} ;