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 mkText : Phr -> Text

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

3
lib/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
} ;