Fix small bug from #16 so tests pass

The change lifted the scope of `note`, so it was being changed in the loop

Author: mlechu

src/utils.jl

@@ -47,12 +47,11 @@ function showprov(io::IO, exs::AbstractVector;
             print(io, "\n\n")
         end
         k = kind(ex)
-        if isnothing(note) # use provided `note` otherwise
-            note = i > 1 && k == K"macrocall"  ? "in macro expansion" :
-                   i > 1 && k == K"$"          ? "interpolated here"  :
-                   "in source"
-        end
-        highlight(io, sr; note=note, highlight_kwargs...)
+        ex_note = !isnothing(note) ? note :
+            i > 1 && k == K"macrocall"  ? "in macro expansion" :
+            i > 1 && k == K"$"          ? "interpolated here"  :
+            "in source"
+        highlight(io, sr; note=ex_note, highlight_kwargs...)
 
         if include_location
             line, _ = source_location(sr)

test/quoting.jl

@@ -47,6 +47,22 @@ end
         end
     end
     # @ string:5"""
+@test sprint(io->showprov(io, ex[1][3]; note="foo")) == raw"""
+    begin
+        x = 10
+        y = :(g(z))
+    #         └──┘ ── foo
+        quote
+            f($(x+1), $y)
+    # @ string:3
+
+        y = :(g(z))
+        quote
+            f($(x+1), $y)
+    #                 └┘ ── foo
+        end
+    end
+    # @ string:5"""
 
 
 # Test expression flags are preserved during interpolation