There is only partial support for the result special constructor right now. (see how ok, something, err work). There is support in the parser for it but we need to do the following in the type-checker/test harness:
[ ] Add logic to type-check and coerce into inferred result type see here.
There is only partial support for the
result
special constructor right now. (see how ok, something, err work). There is support in the parser for it but we need to do the following in the type-checker/test harness: