summaryrefslogtreecommitdiff
path: root/doc/tutorial/music/old/MusicLexEng.gf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-06-19 18:07:18 +0000
committeraarne <aarne@cs.chalmers.se>2007-06-19 18:07:18 +0000
commit6a926ee3fc74c5d953d669356d5adfc47e46bbbd (patch)
treeedcffb13a3afbd9f06ce05e173294ed745d58ec7 /doc/tutorial/music/old/MusicLexEng.gf
parent05d12d86fe62e72cd285a5c1be8024b20af65048 (diff)
overloaded resource doc examples
Diffstat (limited to 'doc/tutorial/music/old/MusicLexEng.gf')
-rw-r--r--doc/tutorial/music/old/MusicLexEng.gf5
1 files changed, 5 insertions, 0 deletions
diff --git a/doc/tutorial/music/old/MusicLexEng.gf b/doc/tutorial/music/old/MusicLexEng.gf
new file mode 100644
index 000000000..3d90e8f37
--- /dev/null
+++ b/doc/tutorial/music/old/MusicLexEng.gf
@@ -0,0 +1,5 @@
+ concrete MusicLexEng of MusicLex = CatEng ** open ParadigmsEng in {
+ lin
+ song_N = regN "song" ;
+ american_A = regA "American" ;
+ } \ No newline at end of file