That fixed the example I gave, but now this fails:
(let ()
(def)
(let ()
(use)))
On Mon, Jul 20, 2015 at 2:50 PM Matthew Flatt mfl...@cs.utah.edu wrote:
Repair pushed.
On Jul 20, 2015, at 11:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Thanks for the info. I think it's a bug
That one should fail (and the same as with the old expander).
Each `(let () )` starts a new scope, and the identifier introduced
by `(use)` doesn't have the scope for the outer `(let () )` where
`(def)` creates a binding.
At Tue, 21 Jul 2015 19:38:57 +, Spencer Florence wrote:
That
I don't really know what's going on, but this might help:
;; It seems to be introducing the definition correctly, but not the use:
;; this works
(let ()
(def) ; no difference between (def) and (define id 5)
id)
;; this doesn't
(let ()
(def)
(use)) ; but there is a difference between
Repair pushed.
On Jul 20, 2015, at 11:14 AM, Matthew Flatt mfl...@cs.utah.edu wrote:
Thanks for the info. I think it's a bug in the expander, and I have a
repair, but I think that repair might point to another bug that I'm
still investigating.
At Mon, 20 Jul 2015 12:56:49 -0400,
Thanks for the info. I think it's a bug in the expander, and I have a
repair, but I think that repair might point to another bug that I'm
still investigating.
At Mon, 20 Jul 2015 12:56:49 -0400, Alexander D. Knauth wrote:
I don't really know what's going on, but this might help:
;; It seems
5 matches
Mail list logo
