@@ -145,8 +145,10 @@ interfacePatches moduleName prefix interface =
148-- PATCHES FOR INDIVIDUAL VALUES
149-- PATCHES FOR INDIVIDUAL VALUES
150valueToPatches
152valueToPatches
151 :: R.Region
153 :: R.Region
152 -> ModuleName.Canonical
154 -> ModuleName.Canonical
@@ -329,7 +331,7 @@ declToPatches
329declToPatches moduleName (A.A (region,_) decl) =
331declToPatches moduleName (A.A (region,_) decl) =
331 topLevel mkPatch x =
333 topLevel mkPatch x =
332− mkPatch x (Var.topLevel moduleName x )
334+ mkPatch x (Var.topLevel moduleName x)
334 namespaced mkPatch x =
336 namespaced mkPatch x =
335 mkPatch x (Var.fromModule moduleName x)
337 mkPatch x (Var.fromModule moduleName x)
@@ -367,8 +369,10 @@ declToPatches moduleName (A.A (region,_) decl) =
370-- RESTRICT VISIBLE API OF INTERFACES
373-- RESTRICT VISIBLE API OF INTERFACES
372restrictToPublicApi :: Module.Interface -> Module.Interface
376restrictToPublicApi :: Module.Interface -> Module.Interface
373restrictToPublicApi interface =
377restrictToPublicApi interface =
374 interface
378 interface