Add valid refinement substitution suggestions for typed holes
[ghc.git] / testsuite / tests / typecheck / should_compile / refinement_substitutions.stderr
2018-02-18  Matthías Páll Giss... Add valid refinement substitution suggestions for typed...