diff options
Diffstat (limited to 'old-lib/resource/catalan/ResCat.gf')
| -rw-r--r-- | old-lib/resource/catalan/ResCat.gf | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/old-lib/resource/catalan/ResCat.gf b/old-lib/resource/catalan/ResCat.gf new file mode 100644 index 000000000..4a1b7dd80 --- /dev/null +++ b/old-lib/resource/catalan/ResCat.gf @@ -0,0 +1,13 @@ +--1 Catalan auxiliary operations. +-- +---- This module contains operations that are needed to make the +---- resource syntax work. To define everything that is needed to +---- implement $Test$, it moreover contains regular lexical +---- patterns needed for $Lex$. + + +instance ResCat of ResRomance = DiffCat ** open CommonRomance, Prelude in { + + flags optimize=noexpand ; + +} ; |
