diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 19:56:59 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-10-04 19:56:59 -0400 |
commit | 8f22c3384c8b715c97fa781fa388ef9090d13fb6 (patch) | |
tree | e3b5f52726b327ef99a8436ee8ea8bd4caa3667f /tests | |
parent | f7e81b4b27489ea0cf814aa48426b3972f73532d (diff) |
Improved inference of records of tuples
Diffstat (limited to 'tests')
-rw-r--r-- | tests/crud1.ur | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/tests/crud1.ur b/tests/crud1.ur index a857d3d8..10722b55 100644 --- a/tests/crud1.ur +++ b/tests/crud1.ur @@ -1,13 +1,6 @@ table t1 : {Id : int, A : int, B : string, C : float, D : bool} open Crud.Make(struct - con cols :: {(Type * Type)} = [ - A = (int, string), - B = (string, string), - C = (float, string), - D = (bool, bool) - ] - val tab = t1 val title = "Crud1" |