Import Upstream version 20180207
[hcoop/debian/mlton.git] / regression / fail / modules.37.sml
1 signature SIG =
2 sig
3 structure S: sig type t end where type t = int
4 end where type S.t = bool