Effects analysis sees match-error, throw-bad-structs as bailouts
authorAndy Wingo <wingo@pobox.com>
Sun, 10 Nov 2013 09:13:37 +0000 (10:13 +0100)
committerAndy Wingo <wingo@pobox.com>
Sun, 10 Nov 2013 09:17:44 +0000 (10:17 +0100)
commita2972c195dc6643dd6e1d518dc3a3014ed51d981
tree3df8ad35216a6ce6de12cda54393708a4e313ec8
parent056110754ead55733879b0c8a5c0d773f576d5c6
Effects analysis sees match-error, throw-bad-structs as bailouts

* module/language/tree-il/effects.scm (make-effects-analyzer): Allow
  module-ref calls to be treated as bailouts, if the procedure has the
  "definite-bailout?" property.  Perhaps this should be renamed.

* module/ice-9/match.upstream.scm (match-error):
* module/srfi/srfi-9.scm (throw-bad-struct): Give these procedures the
  definite-bailout? property.
module/ice-9/match.upstream.scm
module/language/tree-il/effects.scm
module/srfi/srfi-9.scm