state_info is basically a dictionary holding
type State
s::Dict{C,A}
#some other code
end
@special macro creates a state_info for each function it precedes.
maybe i can
define +(x::C,y::C,state) and curry this for each function using @special
macro. However , +(::C,::C,::State) function seems ugly. not elegant.
Thanks
On Sat, Feb 27, 2016 at 11:59 PM, Toivo Henningsson <toivo....@gmail.com>
wrote:
> What is state_info? A local variable? How would it help if implicit_match
> could be invoked to do the conversion, it wouldn't have access to
> state_info any more than +(::C, ::C) does?
>
> I think that we will need a bit more context to be able to understand what
> problem you are trying to solve, and how that can be best done in Julia.
>
