From 74c707b65dad7420114b6c5f56725a0e070f8bdd Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= Date: Fri, 7 Oct 2016 13:43:25 +0200 Subject: [PATCH] Small fix on traversal of unions (doesn't work yet). --- traversal.hl.rkt | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/traversal.hl.rkt b/traversal.hl.rkt index b8a35fa..9b4eb8c 100644 --- a/traversal.hl.rkt +++ b/traversal.hl.rkt @@ -250,9 +250,7 @@ way up, so that a simple identity function can be applied in these cases. @chunk[ [(U _Xⱼ …) - (define-temp-ids "_fx" (_Xⱼ …)) - (define-temp-ids "_tx" (_Xⱼ …)) - + #:to (U (_txⱼ _Tᵢ …) …)