purescript-0.15.0: tests/purs/warning/4268.out