Panic on recursive foreign decl group

GaloisInc · Jul 6, 2022 · 20403c2 · 20403c2
1 parent c5ebac4
commit 20403c2
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/src/Cryptol/Eval/FFI.hs b/src/Cryptol/Eval/FFI.hs
@@ -29,8 +29,9 @@ evalForeignDecls :: ModulePath -> Module -> EvalEnv ->
   Eval (Either [FFILoadError] EvalEnv)
 evalForeignDecls path m env = do
   foreignSrc <- liftIO $ newIORef Nothing
-  let evalForeignDeclGroup e (Recursive ds)   = foldlM evalForeignDecl e ds
-      evalForeignDeclGroup e (NonRecursive d) = evalForeignDecl e d
+  let evalForeignDeclGroup e (NonRecursive d) = evalForeignDecl e d
+      evalForeignDeclGroup _ (Recursive _) = panic "evalForeignDecls"
+        ["Recursive foreign declaration group"]
       evalForeignDecl e d = case dDefinition d of
         DForeign -> do
           fsrc <- liftIO (readIORef foreignSrc) >>= \case