type enforcement

[Dmitry Ivankov]

Is there any other way to enforce type from macro?
<[ $body : some_type ]> doesn't work if body contains try blocks.

[Kamil Skalski]

I think there is not other way if you do not want to run full typing
on the expression (in which case I guess it is possible to specify
"expected type"). But the problem is different - it should actually
work, simple type enforcement (which does not require any runtime
operation, like conversion or implicit operator) should work fine with
trys.

Post by Dmitry Ivankov
Is there any other way to enforce type from macro?
<[ $body : some_type ]> doesn't work if body contains try blocks.
_______________________________________________
https://nemerle.org/mailman/listinfo/devel-en