view tests/capture.ur @ 1697:cb0f05bdc183

Refactor SQL parsing code from Iflow to Sql, add querydml parser.
author Edward Z. Yang <ezyang@mit.edu>
date Mon, 12 Mar 2012 12:00:23 -0700
parents 6c00d8af6239
children
line wrap: on
line source
val y = []

type foo = int
val z : list {F : foo} = y