Mercurial > urweb
view tests/foldm.ur @ 1282:a9a500d22ebc
Roll back WHERE checking
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Tue, 27 Jul 2010 14:04:09 -0400 |
parents | 71bafe66dbe1 |
children |
line wrap: on
line source
con currier = fold (fn nm => fn t => fn acc => t -> acc) {} signature S = sig type t val x : t con rs :: {Type} val create : currier rs -> t end functor Currier (M : sig con rs :: {Type} end) : S where con rs = M.rs = struct val currier : rs :: {Type} -> currier rs = fold [currier] (fn nm :: Name => fn t :: Type => fn rest :: {Type} => fn acc => fn x : t => acc) {} type t = currier M.rs val x = currier [M.rs] con rs = M.rs val create : t -> t = fn x => x end structure ChefsSpecial = Currier(struct con rs = [A = int, B = float] end) val main = ChefsSpecial.x