(Ara) Add extend to AllAra

This commit is contained in:
Inari Listenmaa committed 2022-01-23 18:26:35 +08:00
1 parent f09de4661e
commit 1e761ede38
2 files changed
+2 -2

No files matched your search

+1 -1
View File
@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:../api:../prelude
concrete AllAra of AllAraAbs = LangAra ;
concrete AllAra of AllAraAbs = LangAra, ExtendAra ;
+1 -1
View File
@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
abstract AllAraAbs = Lang ;
abstract AllAraAbs = Lang, Extend ;