unisonweb/unison
1
0
Fork 0
mirror of https://github.com/unisonweb/unison.git synced 2024-09-21 15:28:15 +03:00
Code Issues Projects Releases Wiki Activity

Merge pull request #2765 from unisonweb/21-12-16-inline

Browse Source 
Tweak Result for performance
This commit is contained in:
Mitchell Rosen 2022-01-07 11:34:02 -08:00 committed by GitHub
commit 6992f24567
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
parser-typechecker/src/Unison/Typechecker/Context.hs
View File

@ -132,11 +132,11 @@ data Env v loc = Env { freshId :: Word64, ctx :: Context v loc }
type DataDeclarations v loc = Map Reference (DataDeclaration v loc)
type EffectDeclarations v loc = Map Reference (EffectDeclaration v loc)
data Result v loc a = Success (Seq (InfoNote v loc)) a
| TypeError (NESeq (ErrorNote v loc)) (Seq (InfoNote v loc))
| CompilerBug (CompilerBug v loc)
(Seq (ErrorNote v loc)) -- type errors before hitting the bug
(Seq (InfoNote v loc)) -- info notes before hitting the bug
data Result v loc a = Success !(Seq (InfoNote v loc)) !a
| TypeError !(NESeq (ErrorNote v loc)) !(Seq (InfoNote v loc))
| CompilerBug !(CompilerBug v loc)
!(Seq (ErrorNote v loc)) -- type errors before hitting the bug
!(Seq (InfoNote v loc)) -- info notes before hitting the bug
deriving (Functor)
instance Applicative (Result v loc) where
@ -146,11 +146,13 @@ instance Applicative (Result v loc) where
TypeError es is <*> r' = TypeError (es NESeq.|>< (typeErrors r')) (is <> infoNotes r')
Success is _ <*> TypeError es' is' = TypeError es' (is <> is')
Success is f <*> Success is' a = Success (is <> is') (f a)
{-# INLINE (<*>) #-}
instance Monad (Result v loc) where
s@(Success _ a) >>= f = s *> f a
TypeError es is >>= _ = TypeError es is
CompilerBug bug es is >>= _ = CompilerBug bug es is
{-# INLINE (>>=) #-}
btw' :: InfoNote v loc -> Result v loc ()
btw' note = Success (Seq.singleton note) ()