Small fix on traversal of unions (doesn't work yet).

2016-10-07 13:43:25 +02:00 · 2016-10-07 13:43:25 +02:00 · 74c707b65d
commit 74c707b65d
parent a486dc81f7
1 changed files with 1 additions and 3 deletions
--- a/traversal.hl.rkt
+++ b/traversal.hl.rkt
@ -250,8 +250,6 @@ way up, so that a simple identity function can be applied in these cases.

@chunk[<type-cases>
       [(U _Xⱼ …)
-        (define-temp-ids "_fx" (_Xⱼ …))
-        (define-temp-ids "_tx" (_Xⱼ …))

        #:to
        (U (_txⱼ _Tᵢ …) …)