diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-05 14:14:19 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-05 14:14:19 +0000 |
| commit | ddc8d5d0cc0e051ef6edf77728b34bc9cac326f4 (patch) | |
| tree | 66180dc81bb8bdd2da1181c208436e13ed58df43 /transfer | |
| parent | 983aef132b0695af7e1b16d77ad43180388eea71 (diff) | |
Transfer: fixed Eq derivation to at least work for GF-generated Tree types.
Diffstat (limited to 'transfer')
| -rw-r--r-- | transfer/examples/stoneage.tr | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/transfer/examples/stoneage.tr b/transfer/examples/stoneage.tr index 3a4b5393b..e48c519e6 100644 --- 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
\ No newline at end of file |