comparison tests/disjoint.lac @ 87:275aaeb73f1f

Push KUnit and CUnit through the phases
author Adam Chlipala <adamc@hcoop.net>
date Tue, 01 Jul 2008 13:23:46 -0400
parents 7f9bcc8bfa1e
children
comparison
equal deleted inserted replaced
86:7f9bcc8bfa1e 87:275aaeb73f1f
29 29
30 (* 30 (*
31 val vtX = v2 [#A] [[B = float, B = string]] {A = 8, B = 8.0, B = "8"} 31 val vtX = v2 [#A] [[B = float, B = string]] {A = 8, B = 8.0, B = "8"}
32 val vtX = v2 [#A] [[A = float, B = string]] {A = 8, A = 8.0, B = "8"} 32 val vtX = v2 [#A] [[A = float, B = string]] {A = 8, A = 8.0, B = "8"}
33 *) 33 *)
34
35 val main = vt6