diff options
Diffstat (limited to 'tests/crud.ur')
| -rw-r--r-- | tests/crud.ur | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tests/crud.ur b/tests/crud.ur index 6bbcbe1f..c3e76e6a 100644 --- a/tests/crud.ur +++ b/tests/crud.ur @@ -7,7 +7,7 @@ functor Make(M : sig val title : string - val cols : $(Top.mapTT (fn t => {Show : t -> xbody}) cols) + val cols : colMeta cols end) = struct open constraints M @@ -22,7 +22,7 @@ fun list () = {fold [fn cols :: {Type} => $cols -> colMeta cols -> xtr] (fn (nm :: Name) (t :: Type) (rest :: {Type}) acc => [[nm] ~ rest] => - fn (r : $([nm = t] ++ rest)) cols => + fn r cols => <tr> <td>{cols.nm.Show r.nm}</td> {acc (r -- nm) (cols -- nm)} |