Mercurial > urweb

comparison tests/crud1.ur @ 348:b88f4297167f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Improved inference of records of tuples
author Adam Chlipala <adamc@hcoop.net>
date Sat, 04 Oct 2008 19:56:59 -0400
parents 58eeeb3cbf40
children beb72f8a7218
comparison
equal deleted inserted replaced
347:58eeeb3cbf40 348:b88f4297167f
1 table t1 : {Id : int, A : int, B : string, C : float, D : bool} 1 table t1 : {Id : int, A : int, B : string, C : float, D : bool}
2 2
3 open Crud.Make(struct 3 open Crud.Make(struct
4 con cols :: {(Type * Type)} = [
5 A = (int, string),
6 B = (string, string),
7 C = (float, string),
8 D = (bool, bool)
9 ]
10
11 val tab = t1 4 val tab = t1
12 5
13 val title = "Crud1" 6 val title = "Crud1"
14 7
15 val cols = { 8 val cols = {