Mercurial > urweb
diff src/source.sml @ 1732:4a03aa3251cb
Initial support for reusing elaboration results
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 29 Apr 2012 13:17:31 -0400 |
parents | b4480a56cab7 |
children | ab24a7cb2a64 |
line wrap: on
line diff
--- a/src/source.sml Sat Apr 28 12:00:35 2012 -0400 +++ b/src/source.sml Sun Apr 29 13:17:31 2012 -0400 @@ -154,8 +154,8 @@ | DVal of string * con option * exp | DValRec of (string * con option * exp) list | DSgn of string * sgn - | DStr of string * sgn option * str - | DFfiStr of string * sgn + | DStr of string * sgn option * Time.time option * str + | DFfiStr of string * sgn * Time.time | DOpen of string * string list | DConstraint of con * con | DOpenConstraints of string * string list