From 02c23401a7a3e54d48084fc2796a485de36383f1 Mon Sep 17 00:00:00 2001 From: bringert Date: Mon, 28 Nov 2005 21:45:22 +0000 Subject: Changed all example programs to use layout syntax. --- transfer/examples/overload.tr | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 transfer/examples/overload.tr (limited to 'transfer/examples/overload.tr') diff --git a/transfer/examples/overload.tr b/transfer/examples/overload.tr new file mode 100644 index 000000000..58ef1b7ce --- /dev/null +++ b/transfer/examples/overload.tr @@ -0,0 +1,16 @@ +Additive : Type -> Type +Additive A = { zero : A; plus : A -> A -> A } + +additive_Integer : Additive Integer +additive_Integer = { 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 } + + +--Compositional : Type -> Type +--Compositional A = { composOp : } \ No newline at end of file -- cgit v1.2.3