dylan-lang/opendylan — Issue #38: rethink and rework subtype?
Author: hannesm
Created: 2011-11-15 02:10:39+00:00
State: open

connected to issue #37 it worries me a bit to have different implementation for subtype? at compile time and runtime, in addition to that there is a special subtype for type inference.

This needs some research, hopefully with a test library for types (specifically: test without optimizations, test with optimizations, test runtime and compile time type relationship). Somehow subtype? is also connected to loose mode (from dylan/union.dylan [method type-union]):
/* Illegal for loose Mode
subtype?(t1, t2)
=> t2;
subtype?(t2, t1)
=> t1;
*/
instead a new generic method, merge-type is introduced and used here.