Mercurial > urweb
diff src/iflow.sig @ 1211:1d4d65245dd3
About to try removing Select predicate
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Tue, 06 Apr 2010 13:59:16 -0400 |
parents | c5bd970e77a5 |
children |
line wrap: on
line diff
--- a/src/iflow.sig Tue Apr 06 12:04:08 2010 -0400 +++ b/src/iflow.sig Tue Apr 06 13:59:16 2010 -0400 @@ -27,38 +27,6 @@ signature IFLOW = sig - type lvar = int - - datatype exp = - Const of Prim.t - | Var of int - | Lvar of int - | Func of string * exp list - | Recd of (string * exp) list - | Proj of exp * string - | Finish - - datatype reln = - Known - | Sql of string - | Eq - | Ne - | Lt - | Le - | Gt - | Ge - - datatype prop = - True - | False - | Unknown - | And of prop * prop - | Or of prop * prop - | Reln of reln * exp list - | Select of int * lvar * lvar * prop * exp - - exception Imply of prop * prop - val check : Mono.file -> unit val debug : bool ref