From 0cbbe31c5f16df73dcc3a73b37cac4a72948f3a6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Roman=20Smr=C5=BE?= Date: Thu, 27 Aug 2026 20:34:57 +0200 Subject: Accept various builtin types in type expressions --- src/Run.hs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'src/Run.hs') diff --git a/src/Run.hs b/src/Run.hs index 27dc756..631d579 100644 --- a/src/Run.hs +++ b/src/Run.hs @@ -6,7 +6,7 @@ module Run ( runTest, LoadedModules(..), - loadModules, + loadModules', evalGlobalDefs, TestFilter(..), @@ -204,9 +204,9 @@ data LoadedModules = LoadedModules , lmGlobalDefs :: GlobalDefs } -loadModules :: [ ( FilePath, Maybe Text ) ] -> IO (Either CustomTestError LoadedModules) -loadModules files = do - parseTestFiles (map fst files) >>= \case +loadModules' :: [ SomePrimType ] -> [ ( FilePath, Maybe Text ) ] -> IO (Either CustomTestError LoadedModules) +loadModules' builtinTypes files = do + parseTestFiles builtinTypes (map fst files) >>= \case Right ( modules, allModules ) -> return $ do lmModules <- forM (zip files modules) $ \( ( path, tsel ), m ) -> do tests <- case tsel of -- cgit v1.2.3