Transfer: fixed Eq derivation to at least work for GF-generated Tree types.

2005-12-05 14:14:19 +00:00
parent 7fc991cd18
commit 3442d42d3b
2 changed files with 36 additions and 24 deletions
--- a/transfer/examples/stoneage.tr
+++ b/transfer/examples/stoneage.tr
@@ -1,3 +1,5 @@
+import prelude
+
 data Cat : Type where {
  CN : Cat ;
  NP : Cat ;
@@ -205,3 +207,4 @@ data Tree : (_ : Cat)-> Type where {

 derive Compos Tree

+derive Eq Tree