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

Fixed examples for anteriority in Constructors

Browse Source
This commit is contained in:
bringert
2007-05-09 15:50:35 +00:00
parent 54ac9991f3
commit b2b085da47
2 changed files with 7 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -71,11 +71,11 @@ incomplete resource Constructors = open Grammar in {
mkS : overload {
mkS : Cl -> S ; -- John walks
mkS : Tense -> Cl -> S ; -- John walked
mkS : Ant -> Cl -> S ; -- John is walking
mkS : Ant -> Cl -> S ; -- John has walked
mkS : Pol -> Cl -> S ; -- John doesn't walk
mkS : Tense -> Ant -> Cl -> S ; -- John was walking
mkS : Tense -> Ant -> Cl -> S ; -- John had walked
mkS : Tense -> Pol -> Cl -> S ; -- John didn't walk
mkS : Ant -> Pol -> Cl -> S ; -- John isn't walking
mkS : Ant -> Pol -> Cl -> S ; -- John hasn't walked
mkS : Tense -> Ant -> Pol -> Cl -> S ; -- John wouldn't have walked
mkS : Conj -> S -> S -> S ; -- John walks and Mary talks
mkS : DConj -> S -> S -> S ; -- either I leave or you come

8
lib/resource-1.0/doc/gfdoc/Constructors.html
View File

@@ -6,7 +6,7 @@
</HEAD><BODY BGCOLOR="white" TEXT="black">
<P ALIGN="center"><CENTER><H1> Constructors: the High-Level Syntax API</H1>
<FONT SIZE="4">
<I>Last update: 2007-05-07 14:48:26 CEST</I><BR>
<I>Last update: 2007-05-09 17:49:53 CEST</I><BR>
</FONT></CENTER>
<P></P>
@@ -120,11 +120,11 @@ to this.
mkS : overload {
mkS : Cl -&gt; S ; -- John walks
mkS : Tense -&gt; Cl -&gt; S ; -- John walked
mkS : Ant -&gt; Cl -&gt; S ; -- John is walking
mkS : Ant -&gt; Cl -&gt; S ; -- John has walked
mkS : Pol -&gt; Cl -&gt; S ; -- John doesn't walk
mkS : Tense -&gt; Ant -&gt; Cl -&gt; S ; -- John was walking
mkS : Tense -&gt; Ant -&gt; Cl -&gt; S ; -- John had walked
mkS : Tense -&gt; Pol -&gt; Cl -&gt; S ; -- John didn't walk
mkS : Ant -&gt; Pol -&gt; Cl -&gt; S ; -- John isn't walking
mkS : Ant -&gt; Pol -&gt; Cl -&gt; S ; -- John hasn't walked
mkS : Tense -&gt; Ant -&gt; Pol -&gt; Cl -&gt; S ; -- John wouldn't have walked
mkS : Conj -&gt; S -&gt; S -&gt; S ; -- John walks and Mary talks
mkS : DConj -&gt; S -&gt; S -&gt; S ; -- either I leave or you come