Fix fixities not registering when defined in REPL

GaloisInc · Jun 24, 2022 · 4b3eac5 · 4b3eac5
1 parent 70d9600
commit 4b3eac5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/src/Cryptol/ModuleSystem/Binds.hs b/src/Cryptol/ModuleSystem/Binds.hs
@@ -154,8 +154,8 @@ topModuleDefs m =
   where
   mname = thing (mName m)
 
-topDeclsDefs :: [TopDecl PName] -> ModBuilder (Mod ())
-topDeclsDefs = declsToMod Nothing
+topDeclsDefs :: ModPath -> [TopDecl PName] -> ModBuilder (Mod ())
+topDeclsDefs = declsToMod . Just
 
 sigToMod :: ModPath -> Signature PName -> ModBuilder (Mod ())
 sigToMod mp sig =

diff --git a/src/Cryptol/ModuleSystem/Renamer.hs b/src/Cryptol/ModuleSystem/Renamer.hs
@@ -179,7 +179,7 @@ renameTopDecls m ds0 =
      let ds = addImplicitNestedImports ds0
 
      -- Step 2: compute what's defined
-     (defs,errs) <- liftSupply (modBuilder (topDeclsDefs ds))
+     (defs,errs) <- liftSupply (modBuilder (topDeclsDefs (TopModule m) ds))
      mapM_ recordError errs
 
      -- Step 3: resolve imports