suzanne.soy/typed-racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Real fix for the issue in the math docs

Browse Source 
Commit 92b0e86ed1cf0270730c004211387b3fdc4b0469 turns
out to have been the wrong approach, because there was no mysterious
performance problem with TR. Instead, TR's `define` expanded to new
code that interacted poorly with a macro used in the math docs.

I've kept the refactoring from that commit because I think it still
makes the code clearer, but I've removed the now extraneous comment.

original commit: 8a93eeb52bd7c98c5a060ca019bdc8f4c5a0b09c
This commit is contained in:
Asumu Takikawa 2014-03-31 23:19:48 -04:00
parent a14f3785fc
commit 33f2db5b1f
1 changed files with 0 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
pkgs/typed-racket-pkgs/typed-racket-lib/typed-racket/base-env/prims.rkt
View File

@ -1221,10 +1221,6 @@ This file defines two sorts of primitives. All of them are provided into any mod
;; the first three cases are actually subsumed by the last,
;; but manually expanding to using the : annotation form
;; produces better error messages on duplicate annotations
;;
;; note, these first two cases can be collapsed into one
;; but we keep them separate because in some cases it ruins
;; typechecking performance to merge them.
[(-define nm:id body)
(syntax/loc stx (define nm body))]
[(-define nm:id return:return-ann body)