blob: d18906d9ae0b8a0f51142d8048d340eeaa8c8652 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--1 Italian 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 ResIta of ResRomance = DiffIta ** open CommonRomance, Prelude in {
flags optimize=all ;
} ;
|