-tyvarFVInfo tvs = foldVarSet add emptyFVInfo tvs
- where
- add tv fvs = extendVarEnv fvs tv (tv, LambdaBound, noBinderInfo)
- -- Type variables must be lambda-bound
+tyvarFVInfo tvs = emptyFVInfo -- Type variables are not recorded
+-- Old code recorded free tyvars for when we supported runtime types:
+-- foldVarSet add emptyFVInfo tvs
+-- where
+-- add tv fvs = extendVarEnv fvs tv (tv, LambdaBound, noBinderInfo)
+-- -- Type variables must be lambda-bound