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

Specialize null for B.

Browse Source
This commit is contained in:
Rob Rix 2018-10-23 16:48:56 -04:00
parent 1912fa20c1
commit 81c18a860d
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/Analysis/Abstract/Caching/FlowInsensitive.hs
View File

@ -162,6 +162,9 @@ instance Foldable B where
go (L a) = f a
go (B a b) = go a <> go b
null E = True
null _ = False
instance Applicative B where
pure = L
E <*> _ = E