diff options
| author | bringert <bringert@cs.chalmers.se> | 2005-11-30 13:18:43 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2005-11-30 13:18:43 +0000 |
| commit | b6ee9834322867aeff2e38934acc77eaba8c8f76 (patch) | |
| tree | fdf2bd414861de6f08e70790d1074cdeabca770d /transfer/examples | |
| parent | b846b4c4fd0e0bb115c64173dba9245d2c878eda (diff) | |
Fixed typo in overload.tr.
Diffstat (limited to 'transfer/examples')
| -rw-r--r-- | transfer/examples/overload.tr | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr index 09d62d15f..ef610e76b 100644 --- a/transfer/examples/overload.tr +++ b/transfer/examples/overload.tr @@ -93,7 +93,7 @@ Ord : Type -> Type Ord A = sig { compare : A -> A -> Ordering } compare : (A : Type) -> Ord A -> A -> A -> Ordering -compare _ d = compare +compare _ d = d.compare ordOp : (Ordering -> Bool) -> (A : Type) -> Ord A -> A -> A -> Bool ordOp f A d x y = f (compare A d x y) |