extended functor syntax

2026-04-23 03:32:51 -06:00 · 2007-06-19 18:12:35 +00:00
parent 2ded5b6d28
commit 219c686633
9 changed files with 631 additions and 579 deletions
--- a/doc/tutorial/music/MusicEng.gf
+++ b/doc/tutorial/music/MusicEng.gf
@@ -1,7 +1,11 @@
 --# -path=.:present:api:prelude

-  concrete MusicEng of Music = MusicEng0 - [PropKind] ** 
-      open SyntaxEng in {
+  concrete MusicEng of Music = 
+    MusicI - [PropKind] 
+      with
+        (Syntax = SyntaxEng),
+        (MusicLex = MusicLexEng) ** 
+    open SyntaxEng in {
  lin
    PropKind k p = mkCN k (mkRS (mkRCl which_RP (mkVP p))) ;
  }
--- a/doc/tutorial/music/MusicEng0.gf
+++ b/doc/tutorial/music/MusicEng0.gf
@@ -1,3 +0,0 @@
-  concrete MusicEng0 of Music = MusicI with
-    (Syntax = SyntaxEng),
-    (MusicLex = MusicLexEng) ;