github/semantic
1
1
Fork 0
mirror of https://github.com/github/semantic.git synced 2025-01-08 00:16:53 +03:00
Code Issues Projects Releases Wiki Activity

clean up formatting

Browse Source
This commit is contained in:
Ayman Nadeem 2018-12-12 12:28:18 -05:00
parent ca687a66a7
commit 53924d1a15
1 changed files with 3 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Data/Abstract/Value/Abstract.hs
View File

@ -87,8 +87,7 @@ instance Carrier sig m
instance Carrier sig m instance Carrier sig m
=> Carrier (Abstract.String Abstract :+: sig) (StringC Abstract m) where => Carrier (Abstract.String Abstract :+: sig) (StringC Abstract m) where
ret = StringC . ret ret = StringC . ret
eff = StringC . handleSum eff = StringC . handleSum (eff . handleCoercible) (\case
(eff . handleCoercible) (\case
Abstract.String _ k -> runStringC (k Abstract) Abstract.String _ k -> runStringC (k Abstract)
AsString _ k -> runStringC (k "")) AsString _ k -> runStringC (k ""))