comparison demo/listShop.ur @ 403:8084fa9216de

New implicit argument handling
author Adam Chlipala <adamc@hcoop.net>
date Tue, 21 Oct 2008 16:41:11 -0400
parents ab3177746c78
children
comparison
equal deleted inserted replaced
402:ebf27030ae3b 403:8084fa9216de
1 structure I = struct 1 structure I = struct
2 type t = int 2 type t = int
3 val toString = show _ 3 val toString = show
4 val fromString = read _ 4 val fromString = read
5 end 5 end
6 6
7 structure S = struct 7 structure S = struct
8 type t = string 8 type t = string
9 val toString = show _ 9 val toString = show
10 val fromString = read _ 10 val fromString = read
11 end 11 end
12 12
13 structure IL = ListFun.Make(I) 13 structure IL = ListFun.Make(I)
14 structure SL = ListFun.Make(S) 14 structure SL = ListFun.Make(S)
15 15