Non-trivial parameter are not matched
What is the expected behaviour while matching parameters. Should they be structurally equal, or is some rewriting on their AST expected? For example, the following code gives the error on the return of doubleCube.
because
1<<((N-1)+1)
is not considered equal to 1<<N
which suggests threre is no rewriting of parameters.
mojo 0.4.0 (9e33b013)
Question: is it reasonable that this non-trivial (but not ridiculous complex) parameter 1<<N
is matched? Or will this type of template programming be beyond the reach of Mojo?0 Replies