@LiamGoodacre Would you mind reviewing this one, please?

Will do, I'll have a look through this tonight :)

What would you expect to happen in this code:

type Z t = forall x. t x -> (forall a. t a) -> t x
class C t where c :: Z t
instance cA :: C Array where c x _ = x
test2 :: forall m. Monad m => m { ccc :: Z Array }
test2 = pure { ccc: c }

I'm not sure, but I could try it. Why do you ask about that snippet specifically?

Sorry, I forgot to add an explanation. I tried added the above code to your test file. The idea was to also test a polymorphic var with a constraint and also a quantified argument. I probably shouldn't have lumped them together, but anyway: the test failed with an escaped skolem. I would have expected it to succeed, so I was wondering if you thought the same.

Constrained functions in record literals are still a bit of a pain. Does it work if you annotate the property?

With an annotation it still fails in the same way:

test2 :: forall m. Monad m => m { ccc :: Z Array }
test2 = pure { ccc: (c :: Z Array) }

  1) Passing examples '1110.purs' should compile and run without error
       Error found:
       in module Main
       at /Users/liamgoodacre/git/purescript/examples/passing/1110.purs line 25, column 1 - line 25, column 51

         A type variable has escaped its scope.

       in the expression { ccc: c cA
                         }
       in value declaration test2

Oh, then that's a bug. Thanks.

I think it's easily fixed, thankfully. I'll add a test for this.

@LiamGoodacre How's this?

The whole package set continues to compile with this change, so it seems safe enough.

This looks good :) - although I'm not an expert on this part of the code.