diff options
Diffstat (limited to 'transfer/examples/overload.tr')
| -rw-r--r-- | transfer/examples/overload.tr | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr index 58ef1b7ce..cb3862d7a 100644 --- a/transfer/examples/overload.tr +++ b/transfer/examples/overload.tr @@ -1,15 +1,15 @@ Additive : Type -> Type -Additive A = { zero : A; plus : A -> A -> A } +Additive A = sig { zero : A; plus : A -> A -> A } additive_Integer : Additive Integer -additive_Integer = { zero = 0; plus = prim_add_Int } +additive_Integer = rec { zero = 0; plus = prim_add_Int } sum : (A:Type) -> Additive A -> List A -> A sum _ d (Nil _) = d.zero sum A d (Cons _ x xs) = d.plus x (sum A d xs) Showable : Type -> Type -Showable A = { show : A -> String } +Showable A = sig { show : A -> String } --Compositional : Type -> Type |