Use overloaded API in peace keeping grammar. Still not compiling, "no instance of mkS for Cl among ... Cl ... ?"
This commit is contained in:
1 parent
9242bdfcc8
commit
7d83d90e51
8 files changed
+62
-60
No files matched your search
@@ -1,3 +1,3 @@
|
||||
--# -path=.:present:prelude
|
||||
|
||||
concrete PeaceCat_Fin of PeaceCat = CatFin ** PeaceCatI with (Lang = LangFin);
|
||||
concrete PeaceCat_Fin of PeaceCat = PeaceCatI with (Lang = LangFin);
|
||||
Reference in new issue
Block a user