summaryrefslogtreecommitdiff
path: root/tests
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-04 19:56:59 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-04 19:56:59 -0400
commit8f22c3384c8b715c97fa781fa388ef9090d13fb6 (patch)
treee3b5f52726b327ef99a8436ee8ea8bd4caa3667f /tests
parentf7e81b4b27489ea0cf814aa48426b3972f73532d (diff)
Improved inference of records of tuples
Diffstat (limited to 'tests')
-rw-r--r--tests/crud1.ur7
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"