diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-12-07 10:11:41 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-12-07 10:11:41 +0000 |
| commit | 56a00d37dd8768dda8e701cd56a9ff11e0047950 (patch) | |
| tree | f3e603a51f2d2cd096f2ff5b93d8a412ed1284ed /transfer/lib | |
| parent | 09e62111fd29ec376e3e13ca80cb8e88a47bdea7 (diff) | |
Transfer: derive Eq Bool
Diffstat (limited to 'transfer/lib')
| -rw-r--r-- | transfer/lib/prelude.tra | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transfer/lib/prelude.tra b/transfer/lib/prelude.tra index fe2d1b296..a19c33601 100644 --- a/transfer/lib/prelude.tra +++ b/transfer/lib/prelude.tra @@ -96,7 +96,7 @@ data Bool : Type where False : Bool -- derive Show Bool --- derive Eq Bool +derive Eq Bool -- derive Ord Bool not : Bool -> Bool |