bump & update README

Author: thautwarm

Project.toml

@@ -1,20 +1,18 @@
 name = "GeneralizedGenerated"
 uuid = "6b9d7cbe-bcb9-11e9-073f-15a7a543e2eb"
 authors = ["thautwarm"]
-version = "0.2.8"
+version = "0.3.0"
 
 [deps]
-CanonicalTraits = "a603d957-0e48-4f86-8fbd-0b7bc66df689"
 DataStructures = "864edb3b-99cc-5e75-8d2d-829cb0a9cfe8"
 JuliaVariables = "b14d175d-62b4-44ba-8fb7-3064adc8c3ec"
 MLStyle = "d8e11817-5142-5d16-987a-aa16d5891078"
 Serialization = "9e88b42a-f829-5b0c-bbe9-9e923198166b"
 
 [compat]
-CanonicalTraits = "~0.1, ~0.2"
 DataStructures = "0.17, 0.18"
-JuliaVariables = "~0.2.1"
-MLStyle = "~0.3.1, ~0.4.1"
+JuliaVariables = "~0.2.4"
+MLStyle = "~0.4.2"
 julia = "1"
 
 [extras]

README.md

@@ -76,7 +76,7 @@ h(1, 2)(1) # => 14
 
 Note there're some restrictions to the generalized generated functions yet:
 
-- Multiple dispatch is not allowed, and `f(x) = ...` is equivalent to `f = x -> ...`. This will never gets supported for it needs a thorough implementation of multuple dispatch in GG.
+- Multiple dispatch is not allowed, and `f(x) = ...` is equivalent to `f = x -> ...`. This will never gets supported for it needs a thorough implementation of multiple dispatch in GG.
 - Comprehensions for generated functions are not implemented yet. It won't cost a long time for being supported.
 
 The evaluation module can be specified in this way:
@@ -87,9 +87,10 @@ julia> module S
        end
 Main.S
 
-julia> @gg m function g(m::Module, y) :(run(y)) end
-# the global variable `run` is from the module `m`
-g (generic function with 1 method)
+julia> @gg g(m::Module, y) = @under_global :m :(run(y));
+# the global variable `run` is from the local variable `m`
+# <=>
+# @gg g(m::Module, y) = :($(:m).run(y));
 
 julia> g(S, 1)
 2
@@ -103,12 +104,31 @@ julia> struct S
        end
 Main.S
 
-julia> @gg m function g(m::S, y) :(run(y)) end
-# the global variable `run` is from the datum `m`
-g (generic function with 1 method)
+julia> @gg function g(m::S, y)
+            @under_global :m quote
+                run(y)
+            end
+       end;
+# <=>
+# @gg function g(m::S, y)
+#    :($(:m).run(y))
+# end;
 
 julia> g(S(x -> x + 1), 1)
 2
+
+julia> const pseudo_module = S(x -> x + 1);
+julia> @gg function g(y)
+            @under_global pseudo_module quote
+                run(y)
+            end
+       end
+# <=>
+# @gg function g(y)
+#    :($(pseudo_module).run(y))
+# end 
+julia> g(1)
+2
 ```
 
 ## No `eval`/`invokelatest`!

src/GeneralizedGenerated.jl

@@ -1,7 +1,6 @@
 module GeneralizedGenerated
 using MLStyle
 using JuliaVariables
-using CanonicalTraits
 using DataStructures
 List = LinkedList