diff --git a/lib/resource-1.0/api/Constructors.gf b/lib/resource-1.0/api/Constructors.gf index 15d1f49c2..2d7204280 100644 --- a/lib/resource-1.0/api/Constructors.gf +++ b/lib/resource-1.0/api/Constructors.gf @@ -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 } ;