running on the interpreter (commonly), or gets wierd results
(rarely). Unfortunately, finding out what the problem really is
has proven to be extremely difficult. In retrospect it may be
- argued a design error that GHC's implementation of the STG
+ argued a design flaw that GHC's implementation of the STG
execution mechanism provides only the weakest of support for
automated internal consistency checks. This renders it hard to
- debug and, essentially, unverifiable.
+ debug.
<p>
Execution failures in the interactive system can be due to
problems with the bytecode interpreter, problems with the bytecode