Typed Racket
Go to file
AlexKnauth b844ae5119 Fix typechecking of (syntax ...) expressions
The type is
  (Syntaxof the-type-of-the-result-of-syntax-e), not
  (Syntaxof the-type-of-the-result-of-syntax->datum)

Closes PR 14561

original commit: ada4fb74fa28b0f72ed590785afb9ebe08dded45
2014-09-06 17:39:24 -04:00
pkgs/typed-racket-pkgs Fix typechecking of (syntax ...) expressions 2014-09-06 17:39:24 -04:00