diff options
Diffstat (limited to 'compiler/basicTypes/Id.hs')
| -rw-r--r-- | compiler/basicTypes/Id.hs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/basicTypes/Id.hs b/compiler/basicTypes/Id.hs index 8c62cc9944..9504175cca 100644 --- a/compiler/basicTypes/Id.hs +++ b/compiler/basicTypes/Id.hs @@ -559,7 +559,7 @@ idIsFrom mod id = nameIsLocalOrFrom mod (idName id) {- Note [Levity-polymorphic Ids] ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ -Some levity-polymorphic Ids must be applied and and inlined, not left +Some levity-polymorphic Ids must be applied and inlined, not left un-saturated. Example: unsafeCoerceId :: forall r1 r2 (a::TYPE r1) (b::TYPE r2). a -> b |