dvanhorn/pcf — pull request #20 by philnguyen (2014-09-15 19:15:51+00:00)
Title: print out (possible) conterexample at error/blame message

This pull request extends an error/blame message with possible solution of annotated holes that can cause the error/blame.