Mercurial > urweb
diff 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 |
line wrap: on
line diff
--- a/demo/listShop.ur Tue Oct 21 15:11:42 2008 -0400 +++ b/demo/listShop.ur Tue Oct 21 16:41:11 2008 -0400 @@ -1,13 +1,13 @@ structure I = struct type t = int - val toString = show _ - val fromString = read _ + val toString = show + val fromString = read end structure S = struct type t = string - val toString = show _ - val fromString = read _ + val toString = show + val fromString = read end structure IL = ListFun.Make(I)