From e8e28afa191d7f4210aebb8ad9e6422c8ddf628f Mon Sep 17 00:00:00 2001 From: Danny Yoo Date: Wed, 11 May 2011 14:45:37 -0400 Subject: [PATCH] work around for the typechecking slow typing behavior: needed to reorder clauses and use else to cut things off quickly --- collect-jump-targets.rkt | 66 +++++++++++++++++++++------------------- 1 file changed, 35 insertions(+), 31 deletions(-) diff --git a/collect-jump-targets.rkt b/collect-jump-targets.rkt index f554f30..ba52058 100644 --- a/collect-jump-targets.rkt +++ b/collect-jump-targets.rkt @@ -125,38 +125,42 @@ (: collect-primitive-command (PrimitiveCommand -> (Listof Symbol))) (define (collect-primitive-command op) (cond - [(CheckToplevelBound!? op) - empty] - [(CheckClosureArity!? op) - empty] - [(CheckPrimitiveArity!? op) - empty] - [(ExtendEnvironment/Prefix!? op) - empty] - [(InstallClosureValues!? op) - empty] - [(RestoreEnvironment!? op) - empty] - [(RestoreControl!? op) - empty] - [(SetFrameCallee!? op) - empty] - [(SpliceListIntoStack!? op) - empty] - [(UnspliceRestFromStack!? op) - empty] - [(FixClosureShellMap!? op) - empty] - [(InstallContinuationMarkEntry!? op) - empty] - [(RaiseContextExpectedValuesError!? op) - empty] - [(RaiseArityMismatchError!? op) - empty] - [(RaiseOperatorApplicationError!? op) - empty] [(InstallModuleEntry!? op) - (list (InstallModuleEntry!-entry-point op))])) + (list (InstallModuleEntry!-entry-point op))] + [else + empty] + ;; currently written this way because I'm hitting some bad type-checking behavior. + #;([(CheckToplevelBound!? op) + empty] + [(CheckClosureArity!? op) + empty] + [(CheckPrimitiveArity!? op) + empty] + [(ExtendEnvironment/Prefix!? op) + empty] + [(InstallClosureValues!? op) + empty] + [(RestoreEnvironment!? op) + empty] + [(RestoreControl!? op) + empty] + [(SetFrameCallee!? op) + empty] + [(SpliceListIntoStack!? op) + empty] + [(UnspliceRestFromStack!? op) + empty] + [(FixClosureShellMap!? op) + empty] + [(InstallContinuationMarkEntry!? op) + empty] + [(RaiseContextExpectedValuesError!? op) + empty] + [(RaiseArityMismatchError!? op) + empty] + [(RaiseOperatorApplicationError!? op) + empty]))) +