diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-19 19:35:04 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-19 19:35:04 +0000 |
| commit | badae804541d427488f8a648efecaa5ee9b99b2f (patch) | |
| tree | 43afa2bfd4d6e9587dc33bc2923a09764a8d2a10 /doc/tutorial/music/MusicLexFin.gf | |
| parent | 780276850c013e388b3452f0d2b640c4cb761a14 (diff) | |
restricted functor example
Diffstat (limited to 'doc/tutorial/music/MusicLexFin.gf')
| -rw-r--r-- | doc/tutorial/music/MusicLexFin.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/tutorial/music/MusicLexFin.gf b/doc/tutorial/music/MusicLexFin.gf index 8082ab6f6..4e438092e 100644 --- a/doc/tutorial/music/MusicLexFin.gf +++ b/doc/tutorial/music/MusicLexFin.gf @@ -1,7 +1,7 @@ concrete MusicLexFin of MusicLex = CatFin ** open ParadigmsFin in { lin - song_N = regN "kappale" ; ---- mkN - american_A = regA "amerikkalainen" ; ---- mkA + song_N = mkN "kappale" ; + american_A = mkA "amerikkalainen" ; } |