Small changes to make Simon's big commit work
__interface DataCon 1 0 where
-__export DataCon DataCon ;
+__export DataCon DataCon dataConType ;
1 data DataCon ;
+1 dataConType :: DataCon -> Type.Type ;
-- Haskell module names can include the quote character ',
-- so the module names have the z-encoding applied to them
-type ModuleNameSet = FiniteMap ModuleName
-elemModuleNameSet s x = elemFM s x
-moduleNameSetElems s = eltsFM s
-
pprModuleName :: ModuleName -> SDoc
pprModuleName nm = pprEncodedFS nm
--- /dev/null
+__interface InstEnv 1 0 where
+__export InstEnv InstEnv ;
+1 data InstEnv ;
+