catalan resource

This commit is contained in:
aarne
2007-02-13 15:43:36 +00:00
parent d5b8c4d6c6
commit 5009179ee7
30 changed files with 9894 additions and 0 deletions

View File

@@ -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 ;
} ;