Mercurial > urweb
comparison demo/listShop.ur @ 398:ab3177746c78
Simple listShop working
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 21 Oct 2008 13:24:54 -0400 |
parents | 4d519baf357c |
children | 8084fa9216de |
comparison
equal
deleted
inserted
replaced
397:4d519baf357c | 398:ab3177746c78 |
---|---|
1 structure I = struct | 1 structure I = struct |
2 type t = int | 2 type t = int |
3 val toString = show _ | |
4 val fromString = read _ | |
3 end | 5 end |
4 | 6 |
5 structure S = struct | 7 structure S = struct |
6 type t = string | 8 type t = string |
9 val toString = show _ | |
10 val fromString = read _ | |
7 end | 11 end |
8 | 12 |
9 structure IL = ListFun.Make(I) | 13 structure IL = ListFun.Make(I) |
10 structure SL = ListFun.Make(S) | 14 structure SL = ListFun.Make(S) |
11 | 15 |