refresh compilation phase in the new format

2007-12-07 10:23:18 +00:00
parent f7b3c218cf
commit 091f9f0c1b
7 changed files with 81 additions and 61 deletions
--- a/lib/prelude/Prelude.gf
+++ b/lib/prelude/Prelude.gf
@@ -27,7 +27,7 @@ oper

 -- Discontinuous constituents.

-  SD2 = {s1,s2 : Str} ;
+  SD2 : Type = {s1,s2 : Str} ;
  sd2 : (_,_ : Str) -> SD2 = \x,y -> {s1 = x ; s2 = y} ;