comparison tests/concat.ur @ 1303:c7b9a33c26c8

Hopeful fix for the Great Unification Bug
author Adam Chlipala <adam@chlipala.net>
date Sun, 10 Oct 2010 14:41:03 -0400
parents
children
comparison
equal deleted inserted replaced
1302:d008c4c43a0a 1303:c7b9a33c26c8
1 functor Make(M : sig
2 con ts :: {(Type * Type)}
3 val tab : sql_table (map fst ts) []
4 val cols : $(map (fn p => p.2 -> string) ts)
5 end) = struct
6 end
7
8 table t : {A : string}
9
10 open Make(struct
11 val tab = t
12 val cols = {A = fn p : {B : string, C : string} => p.B ^ p.C}
13 end)