[dylan] type checking errors related to raw values

We have a few instances of type check warnings due to usage of raw types.
 I've run into this again in my Python/Dylan bridge:

Result type check can fail - values(<raw-machine-word>) inferred,
values(<object>) expected.

python-dylan.dylan:26:
------------------------------------------------------------------
python-dylan.dylan:27: define inline function as-raw-py-object (py-object
:: <py-object>)
python-dylan.dylan:28:  => (raw-py-object :: <raw-py-object>)
python-dylan.dylan:29:   py-object.raw-py-object
python-dylan.dylan:30: end;
python-dylan.dylan:31: ---

<raw-py-object> is just a <raw-machine-word> ... the code is doing exactly
what it should be doing, but the type checker is giving an invalid warning.
This happens when compiling Open Dylan itself in some other code as well.

Does anyone know much about this?

Thanks,

 - Bruce

_______________________________________________
hackers mailing list
[email protected]
https://lists.opendylan.org/mailman/listinfo/hackers