github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2024-12-26 00:12:29 +03:00
Code Issues Projects Releases Wiki Activity

Identity.

Browse Source
This commit is contained in:
Rob Rix 2019-10-28 10:40:27 -04:00
parent dc7a3e1a21
commit 1ba069fedd
No known key found for this signature in database
GPG Key ID: F188A01508EA1CF7
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
semantic-analysis/src/Analysis/Typecheck.hs
View File

@ -21,6 +21,7 @@ import Control.Monad ((>=>), unless)
import Data.Foldable (for_)
import Data.Function (fix)
import Data.Functor (($>))
import Data.Functor.Identity
import qualified Data.IntMap as IntMap
import qualified Data.IntSet as IntSet
import Data.List.NonEmpty (nonEmpty)
@ -128,7 +129,7 @@ runFile
, CanHandle sig ((,) (Set.Set (Constraint name)))
, CanHandle sig ((,) (Cache (term name) (Type name)))
, CanHandle sig ((,) Int)
, CanHandle sig (NonDetC (FreshC (ReaderC (Cache (term name) (Type name)) (StateC (Cache (term name) (Type name)) (StateC (Set.Set (Constraint name)) (FailC (ReaderC Span (ReaderC Path.AbsRelFile (StateC (Substitution name) m)))))))))
, CanHandle sig (NonDetC Identity)
, Has Fresh sig m
, Has (State (Heap name (Type name))) sig m
, Ord name