... | @@ -10,11 +10,11 @@ This page outlines a plan to move the representation polymorphism checks that cu |
... | @@ -10,11 +10,11 @@ This page outlines a plan to move the representation polymorphism checks that cu |
|
- [Broad outline](#broad-outline)
|
|
- [Broad outline](#broad-outline)
|
|
- [Details](#details)
|
|
- [Details](#details)
|
|
* [Emitting FixedRuntimeRep constraints](#emitting-fixedruntimerep-constraints)
|
|
* [Emitting FixedRuntimeRep constraints](#emitting-fixedruntimerep-constraints)
|
|
+ [Where specifically are we emitting these constraints?](#where-specifically-are-we-emitting-these-constraints-)
|
|
+ [Where specifically are we emitting these constraints?](#where-specifically-are-we-emitting-these-constraints)
|
|
* [Solving FixedRuntimeRep constraints](#solving-fixedruntimerep-constraints)
|
|
* [Solving FixedRuntimeRep constraints](#solving-fixedruntimerep-constraints)
|
|
* [Reporting unsolved FixedRuntimeRep constraints](#reporting-unsolved-fixedruntimerep-constraints)
|
|
* [Reporting unsolved FixedRuntimeRep constraints](#reporting-unsolved-fixedruntimerep-constraints)
|
|
+ [CtOrigins](#ctorigins)
|
|
+ [CtOrigins](#ctorigins)
|
|
+ [Don't suggest "add FixedRuntimeRep"](#don-t-suggest--add-fixedruntimerep-)
|
|
+ [Don't suggest "add FixedRuntimeRep"](#don-t-suggest-add-fixedruntimerep-)
|
|
* [Evidence for FixedRuntimeRep and code generation](#evidence-for-fixedruntimerep-and-code-generation)
|
|
* [Evidence for FixedRuntimeRep and code generation](#evidence-for-fixedruntimerep-and-code-generation)
|
|
+ [Alternative 1: store the representation](#alternative-1-store-the-representation)
|
|
+ [Alternative 1: store the representation](#alternative-1-store-the-representation)
|
|
+ [Alternative 2: cast to a fixed representation using a kind coercion](#alternative-2-cast-to-a-fixed-representation-using-a-kind-coercion)
|
|
+ [Alternative 2: cast to a fixed representation using a kind coercion](#alternative-2-cast-to-a-fixed-representation-using-a-kind-coercion)
|
... | | ... | |