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

Added mkUtt : Cl -> Utt

Browse Source
This commit is contained in:
bringert
2007-05-09 15:59:18 +00:00
parent b2b085da47
commit 3c394ab362
1 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

7
lib/resource-1.0/api/Constructors.gf
View File

@@ -55,7 +55,8 @@ incomplete resource Constructors = open Grammar in {
} ; } ;
mkUtt : overload { mkUtt : overload {
mkUtt : S -> Utt ; -- John walks mkUtt : S -> Utt ; -- John walked
mkUtt : Cl -> Utt ; -- John walks
mkUtt : QS -> Utt ; -- is it good mkUtt : QS -> Utt ; -- is it good
mkUtt : Pol -> Imp -> Utt ; -- (don't) help yourself mkUtt : Pol -> Imp -> Utt ; -- (don't) help yourself
mkUtt : Imp -> Utt ; -- help yourself mkUtt : Imp -> Utt ; -- help yourself
@@ -515,8 +516,10 @@ incomplete resource Constructors = open Grammar in {
} ; } ;
mkUtt = overload { mkUtt = overload {
mkUtt : S -> Utt -- John walks mkUtt : S -> Utt -- John walked
= UttS ; = UttS ;
mkUtt : Cl -> Utt -- John walks
= \c -> UttS (UseCl TPres ASimul PPos c);
mkUtt : QS -> Utt -- is it good mkUtt : QS -> Utt -- is it good
= UttQS ; = UttQS ;
mkUtt : Pol -> Imp -> Utt -- (don't) help yourself mkUtt : Pol -> Imp -> Utt -- (don't) help yourself