Mercurial > urweb
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 |