(2) Definite Bug (definitely crashes) (3) Possible Bug. Crash! Crash! ... Checks each program in a modular fashion on a per function basis. The checking is sound. ...
advised by Simon Peyton Jones. Microsoft Research, Cambridge. Module UserPgm where ... Glasgow Haskell Compiler (GHC) gives at run-time. Exception: Prelude.head: ...