diff options
| -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) |