fix lowering bug in closure sparams ordering

JuliaLang · Jul 17, 2016 · 547375b · 547375b
1 parent a943c92
commit 547375b
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 1 deletion.
diff --git a/src/julia-syntax.scm b/src/julia-syntax.scm
@@ -2835,7 +2835,7 @@ f(x) = yt(x)
                                        (if lam2 (lam:sp lam2) '())
                                        (map (lambda (methdef) (lam:sp (cadddr methdef)))
                                             alldefs))))
-                        (capt-sp (intersect cvs sps))
+                        (capt-sp (simple-sort (intersect cvs sps)))
                         (capt-vars (diff cvs capt-sp))
                         (method-sp (map (lambda (s) (make-ssavalue)) capt-sp))
                         (typedef  ;; expression to define the type

diff --git a/test/core.jl b/test/core.jl
@@ -4463,3 +4463,11 @@ end
 f17147(::Tuple) = 1
 f17147{N}(::Vararg{Tuple,N}) = 2
 @test f17147((), ()) == 2
+
+# make sure lowering agrees on sp order
+function captsp{T, S}(x::T, y::S)
+    subf(x2::Int) = T
+    subf(x2::UInt) = S
+    return subf(Int(1)), subf(UInt(1))
+end
+@test captsp(1, 2.0) == (Int, Float64)