
6 Mar
2009
6 Mar
'09
12:32 a.m.
Hicham Mouline a écrit :
Does this seem a sensible way to go... I saw Joel's problems with different domains, was that related to this at all I had a different use-case but you may end up with a similar difficulty. I's not that hard to circumvent, playing with domain_of and a set of smart meta-function to computes the correct domain of a function application.