From 5b9249a422cb1ac172d6b5f1f03d5cde629d6216 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 29 Nov 2005 18:15:15 +0000 Subject: Split widesnake example. Changed examples to use rec and sig keywords. --- transfer/examples/overload.tr | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'transfer/examples/overload.tr') 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 -- cgit v1.2.3