Expronicon.jl
Expronicon.jl copied to clipboard
Roger-luo
Collective tools for metaprogramming on Julia Expr
```julia inserting getproperty(::Type{Self}, name::Symbol) where Self
This is related to #77, in that it'd be nice to have the names defined in the scope, but without having them exported.
``` julia> JLFunction(:(foo(bar) -> x)) foo(bar) -> x julia> JLFunction(:(foo(bar) -> x)) |> dump JLFunction head: Symbol -> name: Symbol foo args: Array{Any}((1,)) 1: Symbol bar kwargs: Nothing nothing rettype:...
In 0.7.3 there was `Expronicon.parse_file`. Now it has been moved in `Expronicon.ZhanKai`. What is the purpose of that module?
I actually cannot think why this happens. If I define a `@config` (from Configurations.jl) in a file, I can `include` the file and navigate to the definition from anywhere. However,...
Typically there should only be a small number of name collisions when defining multiple ADT's hence a better semantic for the import macros would be to import all except a...
from here: https://github.com/JuliaLang/julia/discussions/48883#discussioncomment-5362818 I don't quite understand why, but this seems to be an issue for us overloading `getproperty` on `Type`. I think either we need to find a way...
```julia using Expronicon.ADT: @adt julia> @adt D begin D1 D2(::Int) end julia> isbits(D.D1) ERROR: ArgumentError: invalid variant type ``` The issue comes from: ```julia julia> @less isbits(D.D1) isbits(@nospecialize x) =...
I think this would greatly decrease the amount of boiler plate code that is needed to start using an ADT. As long as the semantics tree is inferable from the...
It will be very useful if we can generate BNF from user-defined ADTs automatically.
