24 Aug
2008
24 Aug
'08
2:17 p.m.
Chris said:
I personally think such pattern matching errors are a weaknesss of the language; with possibly no solutions to resolve.
Actually tools like CATCH [1] exist and could be incorporated into a compiler to eliminate this problem. [1] http://www-users.cs.york.ac.uk/~ndm/catch/