🔥 the TypeChecking module.

2024-12-29 18:06:14 +03:00 · 2018-05-06 16:41:36 -04:00 · 2018-05-06 16:41:36 -04:00 · dcb771a29e
commit dcb771a29e
parent 3e0a544cb9
2 changed files with 0 additions and 11 deletions
--- a/semantic.cabal
+++ b/semantic.cabal
@ -27,7 +27,6 @@ library
                     , Analysis.Abstract.Evaluating
                     , Analysis.Abstract.ImportGraph
                     , Analysis.Abstract.Tracing
-                     , Analysis.Abstract.TypeChecking
                     , Analysis.CallGraph
                     , Analysis.ConstructorName
                     , Analysis.CyclomaticComplexity
--- a/src/Analysis/Abstract/TypeChecking.hs
+++ b/src/Analysis/Abstract/TypeChecking.hs
@ -1,10 +0,0 @@
-{-# LANGUAGE TypeOperators #-}
-module Analysis.Abstract.TypeChecking
-( typeChecking
-) where
-
-import Control.Abstract.Evaluator
-import Data.Abstract.Type
-
-typeChecking :: Effectful m => m (Resumable TypeError ': effects) a -> m effects (Either (SomeExc TypeError) a)
-typeChecking = raiseHandler runError