mirror of
https://github.com/GrammaticalFramework/gf-core.git
synced 2026-08-07 13:05:14 -06:00
aarne
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 ;
|
|
|
|
} ;
|