diff options
Diffstat (limited to 'compiler/GHC/Types/Id.hs')
-rw-r--r-- | compiler/GHC/Types/Id.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/GHC/Types/Id.hs b/compiler/GHC/Types/Id.hs index 1d3c5ec495..bf429bbe61 100644 --- a/compiler/GHC/Types/Id.hs +++ b/compiler/GHC/Types/Id.hs @@ -223,6 +223,7 @@ idUsageEnv x = case Var.idBinding x of -- ROMES: Scaled Types seem to be used mainly in data cons; I think Scaled -- things remain as they are, bc they seem to only occur in places where the Id is definitely a lambda bound (or datacon, which would be the same) variable +-- Truly horrendous that this might fail like this, not how we'll leave it... at least return an optional value idScaledType :: HasCallStack => Id -> Scaled Type idScaledType id = Scaled (idMult id) (idType id) |