Mercurial > urweb
comparison src/source.sml @ 1868:d6b0ee53dc93
Get -root working properly again
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 26 Sep 2013 16:22:06 -0400 |
parents | 1aa9629e3a4c |
children | 799be3911ce3 |
comparison
equal
deleted
inserted
replaced
1867:216a3a67ebe3 | 1868:d6b0ee53dc93 |
---|---|
152 | DDatatype of (string * string list * (string * con option) list) list | 152 | DDatatype of (string * string list * (string * con option) list) list |
153 | DDatatypeImp of string * string list * string | 153 | DDatatypeImp of string * string list * string |
154 | DVal of string * con option * exp | 154 | DVal of string * con option * exp |
155 | DValRec of (string * con option * exp) list | 155 | DValRec of (string * con option * exp) list |
156 | DSgn of string * sgn | 156 | DSgn of string * sgn |
157 | DStr of string * sgn option * Time.time option * str | 157 | DStr of string * sgn option * Time.time option * str * bool (* did this module come from the '-root' directive? *) |
158 | DFfiStr of string * sgn * Time.time option | 158 | DFfiStr of string * sgn * Time.time option |
159 | DOpen of string * string list | 159 | DOpen of string * string list |
160 | DConstraint of con * con | 160 | DConstraint of con * con |
161 | DOpenConstraints of string * string list | 161 | DOpenConstraints of string * string list |
162 | DExport of str | 162 | DExport of str |