From 70cd2b655dd741ad04a98dbe6685ec2ec9e11fdd Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Aug 2008 14:36:17 -0400 Subject: Testing type-class-parameterized functions --- tests/type_class.lac | 13 +++++++++++-- 1 file changed, 11 insertions(+), 2 deletions(-) (limited to 'tests') diff --git a/tests/type_class.lac b/tests/type_class.lac index 72baa3b3..0acca7cd 100644 --- a/tests/type_class.lac +++ b/tests/type_class.lac @@ -1,9 +1,18 @@ class default t = t -val string_default : default string = "" +val string_default : default string = "Hi" val int_default : default int = 0 val default : t :: Type -> default t -> t = fn t :: Type => fn d : default t => d -val empty = default [string] _ +val hi = default [string] _ val zero = default [int] _ + +val frob : t :: Type -> default t -> t = + fn t :: Type => fn _ : default t => default [t] _ +val hi_again = frob [string] _ +val zero_again = frob [int] _ + +val main : unit -> page = fn () => + {cdata hi_again} + -- cgit v1.2.3