(Ara) Add extend to AllAra

This commit is contained in:
Inari Listenmaa
2022-01-23 18:26:35 +08:00
committed by Meowyam
parent 4720114c84
commit a435b6b8dc
2 changed files with 2 additions and 2 deletions

View File

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

View File

@@ -1,3 +1,3 @@
--# -path=.:../abstract:../common:prelude
abstract AllAraAbs = Lang ;
abstract AllAraAbs = Lang, Extend ;