update typecheck command to check for coverage

app/Commands/Typecheck.hs

@@ -1,8 +1,9 @@
 module Commands.Typecheck where
 
 import Commands.Base
-import Commands.Dev.Internal.Typecheck qualified as Internal
 import Commands.Typecheck.Options
 
-runCommand :: (Members '[Embed IO, App] r) => TypecheckOptions -> Sem r ()
-runCommand = Internal.runCommand . project
+runCommand :: Members '[Embed IO, App] r => TypecheckOptions -> Sem r ()
+runCommand localOpts = do
+  void (runPipeline (localOpts ^. typecheckInputFile) upToCoreTypecheck)
+  say "Well done! It type checks"

src/Juvix/Compiler/Core/Data/TransformationId.hs

@@ -45,6 +45,9 @@ fromTransformationLike = \case
 fromTransformationLikes :: [TransformationLikeId] -> [TransformationId]
 fromTransformationLikes = concatMap fromTransformationLike
 
+toTypecheckTransformations :: [TransformationId]
+toTypecheckTransformations = [MatchToCase]
+
 toEvalTransformations :: [TransformationId]
 toEvalTransformations = [EtaExpandApps, MatchToCase, NatToInt, ConvertBuiltinTypes, LetFolding]
 

src/Juvix/Compiler/Core/Pipeline.hs

@@ -13,6 +13,9 @@ import Juvix.Compiler.Pipeline.EntryPoint (EntryPoint)
 toEval' :: Members '[Error JuvixError, Reader CoreOptions] r => InfoTable -> Sem r InfoTable
 toEval' = applyTransformations toEvalTransformations
 
+toTypechecked :: Members '[Error JuvixError, Reader EntryPoint] r => InfoTable -> Sem r InfoTable
+toTypechecked = mapReader fromEntryPoint . applyTransformations toTypecheckTransformations
+
 toEval :: Members '[Error JuvixError, Reader EntryPoint] r => InfoTable -> Sem r InfoTable
 toEval = mapReader fromEntryPoint . applyTransformations toEvalTransformations
 

src/Juvix/Compiler/Pipeline.hs

@@ -174,6 +174,12 @@ upToGeb ::
 upToGeb spec =
   upToCore >>= \Core.CoreResult {..} -> coreToGeb spec _coreResultTable
 
+upToCoreTypecheck ::
+  (Members '[Reader EntryPoint, Files, NameIdGen, Error JuvixError, Builtins, PathResolver] r) =>
+  Sem r Core.CoreResult
+upToCoreTypecheck =
+  upToCore >>= \r -> Core.toTypechecked (r ^. Core.coreResultTable) >>= \tab -> return r {Core._coreResultTable = tab}
+
 upToEval ::
   (Members '[Reader EntryPoint, Files, NameIdGen, Error JuvixError, Builtins, PathResolver] r) =>
   Sem r Core.CoreResult