The code tries to pass a parameter with the wrong type to that _proc_, yes. But the compiler doesn't even get that far: early on, it detects two blocks defining the same variable in the same context, hence the error message. To avoid this, one would have to delay symbol lookup with something like the _untyped_ "type" for template and macro parameters. AFAIK, that doesn't (and probably cannot) even exist for procedure parameters.
- Do notation without parentheses bluenote
- Re: Do notation without parentheses Lando
- Re: Do notation without parentheses bluenote
