@@ -282,20 +282,17 @@ declarationsToPatches moduleName decls =
282 (Maybe.catMaybes maybeNodes, concat patchLists)
282 (Maybe.catMaybes maybeNodes, concat patchLists)
285−-- When canonicalizing, all _values should be Local, except for top-level definitions but all
285+-- When canonicalizing, all _values should be Local, except for top-level definitions
286−-- For _adts and _patterns,
286+-- However _adts and _patterns
287−-- we assume constructors are top-evel
287+-- should be fully namespaced, thought constructors are top_level.
288−-- should be fully namespaced. With _adts, they may appear in types that can
288+-- With _adts, they may appear in types that can
289-- escape the module.
289-- escape the module.
290declToPatches
290declToPatches
291 :: Module.Name
291 :: Module.Name
292 -> D.ValidDecl
292 -> D.ValidDecl
293 -> (Maybe Node, [Env.Patch])
293 -> (Maybe Node, [Env.Patch])
294declToPatches moduleName (A.A (region,_) decl) =
294declToPatches moduleName (A.A (region,_) decl) =
295− let --local mkPatch x =
296− -- mkPatch x (Var.local x)
298− topLevel mkPatch x =
295+ let topLevel mkPatch x =
299 mkPatch x (Var.topLevel moduleName x )
296 mkPatch x (Var.topLevel moduleName x )
301 namespaced mkPatch x =
298 namespaced mkPatch x =