forked from GitHub/gf-rgl
14 lines
377 B
Plaintext
14 lines
377 B
Plaintext
--1 Pornish 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 ResPor of ResRomance = DiffPor ** open CommonRomance, Prelude in {
|
|
|
|
--- flags optimize=noexpand ;
|
|
|
|
} ;
|