--- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/subfunctor.ur Fri Nov 27 15:28:12 2015 -0500 @@ -0,0 +1,6 @@ +functor F(M : sig con fs :: {Type} end) = struct + open M + + functor G(M : sig val x : $(map sql_injectable_prim fs) end) = struct + end +end