From 673abe2e46a2bbc5ea705ed923bf9528c8eded6c Mon Sep 17 00:00:00 2001 From: Sam Tobin-Hochstadt Date: Wed, 8 Sep 2010 11:37:02 -0400 Subject: [PATCH] simplify original commit: cfc289d806a4a71e34df8dc8b98b5024b66a4cff --- collects/typed-scheme/utils/tc-utils.rkt | 19 ++++++++----------- 1 file changed, 8 insertions(+), 11 deletions(-) diff --git a/collects/typed-scheme/utils/tc-utils.rkt b/collects/typed-scheme/utils/tc-utils.rkt index 7ce94208..84cf6441 100644 --- a/collects/typed-scheme/utils/tc-utils.rkt +++ b/collects/typed-scheme/utils/tc-utils.rkt @@ -6,10 +6,8 @@ don't depend on any other portion of the system |# (provide (all-defined-out)) -(require "syntax-traversal.rkt" - "utils.rkt" racket/dict - syntax/parse (for-syntax scheme/base syntax/parse) scheme/match unstable/debug - (for-syntax unstable/syntax)) +(require "syntax-traversal.rkt" racket/dict + syntax/parse (for-syntax scheme/base syntax/parse) scheme/match) ;; a parameter representing the original location of the syntax being currently checked (define current-orig-stx (make-parameter #'here)) @@ -138,13 +136,12 @@ don't depend on any other portion of the system ;; raise an internal error - typechecker bug! (define (int-err msg . args) - (parameterize ([custom-printer #t]) - (raise (make-exn:fail:tc (string-append "Internal Typechecker Error: " - (apply format msg args) - (format "\nwhile typechecking\n~aoriginally\n~a" - (syntax->datum (current-orig-stx)) - (syntax->datum (locate-stx (current-orig-stx))))) - (current-continuation-marks))))) + (raise (make-exn:fail:tc (string-append "Internal Typechecker Error: " + (apply format msg args) + (format "\nwhile typechecking\n~aoriginally\n~a" + (syntax->datum (current-orig-stx)) + (syntax->datum (locate-stx (current-orig-stx))))) + (current-continuation-marks)))) (define-syntax (nyi stx) (syntax-case stx ()