Open nilern opened 4 years ago
Lower parametric polymorphism away since we can't monomorphise in the general case. Will need to add some pointer tagging and boxing to tell the GC which formerly parametrically polymorphic values are pointers at runtime.
Lower parametric polymorphism away since we can't monomorphise in the general case. Will need to add some pointer tagging and boxing to tell the GC which formerly parametrically polymorphic values are pointers at runtime.