Fixed free-vars issue

2017-09-26 12:43:24 +02:00 · 2017-09-26 12:43:24 +02:00 · 6fd94fab24
commit 6fd94fab24
parent 44d7866687
1 changed files with 1 additions and 4 deletions
--- a/turnstile/examples/mlish.rkt
+++ b/turnstile/examples/mlish.rkt
@ -146,10 +146,7 @@
                                                     #'ty_a))
                                         ;; current cs
                                         cs))))
-          (define solution-as-list (free-id-table-map cs list))
-          (list (reverse as-)
-                (map car solution-as-list)
-                solution-as-list)])]))
+          (list (reverse as-) Xs (free-id-table-map cs list))])]))

  (define (mk-app-poly-infer-error stx expected-tys given-tys e_fn)
    (format (string-append