blob: c5576ce00a2b5afc02e737d2b1e9a7b1bbc47421 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
--1 Spanish 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 ResSpa of ResRomance = DiffSpa ** open CommonRomance, Prelude in {
--- flags optimize=noexpand ;
} ;
|
