Web Demonstration of Type Error Slicing

Previous methods have generally identified the location of a type error as a particular program point or the program subtree rooted at that point. In the paper Type Error Slicing in Implicitly Typed Higher-Order Languages by two of us (Haack and Wells), we present a new approach that treats the

Re: Web Demonstration of Type Error Slicing

Please tell me when it recognises [] as the empty list and :: as a list constructor. Thanks! Greg ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell

Re: Web Demonstration of Type Error Slicing

Please give some examples. It doesn't like ; at the end but says EOF when ; is missed. It doesn't show the examples when I select them. Greg ___ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell