Add paths

This commit is contained in:
Inari Listenmaa
2020-04-03 18:02:38 +02:00
parent 85b905f0e0
commit a4ad8964bc
2 changed files with 5 additions and 5 deletions

View File

@@ -1,4 +1,4 @@
--# -path=.:alltenses:prelude:src/korean
--# -path=.:alltenses:prelude:../korean
resource CombinatorsKor = Combinators with
(Cat = CatKor),

View File

@@ -1,5 +1,5 @@
--# -path=.:alltenses:prelude
instance SyntaxKor of Syntax =
ConstructorsKor, CatKor, StructuralKor, CombinatorsKor ;
--# -path=.:alltenses:prelude:../korean
instance SyntaxKor of Syntax =
ConstructorsKor, CatKor, StructuralKor, CombinatorsKor **
open MissingKor in {} ;