comparison src/unnest.sml @ 754:8688e01ae469

A view query works
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 15:04:37 -0400
parents f152f215a02c
children 7f871c03e3a1
comparison
equal deleted inserted replaced
753:d484df4e841a 754:8688e01ae469
402 | DFfiStr _ => default () 402 | DFfiStr _ => default ()
403 | DConstraint _ => default () 403 | DConstraint _ => default ()
404 | DExport _ => default () 404 | DExport _ => default ()
405 | DTable _ => default () 405 | DTable _ => default ()
406 | DSequence _ => default () 406 | DSequence _ => default ()
407 | DView _ => default ()
407 | DClass _ => default () 408 | DClass _ => default ()
408 | DDatabase _ => default () 409 | DDatabase _ => default ()
409 | DCookie _ => default () 410 | DCookie _ => default ()
410 | DStyle _ => default () 411 | DStyle _ => default ()
411 end 412 end