... | ... | @@ -14,7 +14,7 @@ class FixedRuntimeRep rep where |
|
|
fixedRuntimeRep :: RuntimeRep
|
|
|
```
|
|
|
|
|
|
Whenever a situation arises in which a `RuntimeRep` must be monomorphic, we emit a `FixedRuntimeRep rep` Wanted constraint. The constraint solver attempts to solve these Wanted constraints; if it can't, a type error is reported that tells the user that a representation-polymorphic type isn't allowed. Otherwise, it produces evidence: the `RuntimeRep` that is used. This evidence is then used by the code generator.
|
|
|
Whenever a situation arises in which a `RuntimeRep` must be monomorphic, we emit a `FixedRuntimeRep rep` Wanted constraint. The constraint solver attempts to solve these Wanted constraints; if it can't, a type error is reported that tells the user that a representation-polymorphic type isn't allowed. Otherwise, it produces evidence: the specific `RuntimeRep`. This evidence is then passed on to the code generator.
|
|
|
|
|
|
# Details
|
|
|
## Emitting FixedRuntimeRep constraints
|
... | ... | |