1
0
forked from GitHub/gf-rgl

added ExtendIna

This commit is contained in:
Krasimir Angelov
2024-10-22 08:05:50 +02:00
parent 0814c9da0f
commit 6dfce2943c
2 changed files with 10 additions and 1 deletions

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:../prelude
concrete AllIna of AllInaAbs = LangIna ;
concrete AllIna of AllInaAbs = LangIna, ExtendIna ;

View File

@@ -0,0 +1,9 @@
--# -path=.:../abstract:../common:prelude
concrete ExtendIna of Extend = CatIna **
ExtendFunctor
with (Grammar = GrammarIna)
** {
flags coding=utf8 ;
}