[nem-en] type enforcement

Kamil Skalski kamil.skalski at gmail.com
Thu Jun 28 23:42:20 CEST 2007


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.

2007/6/27, Dmitry Ivankov <divanorama at gmail.com>:
> 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
>
>


-- 
Kamil Skalski
http://nazgul.omega.pl



More information about the devel-en mailing list