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

Correct the type of the comparison helper.

Browse Source
This commit is contained in:
Rob Rix 2018-04-25 18:49:22 -04:00
parent f3e6a7fca3
commit b75ff20fb3
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -306,7 +306,7 @@ instance ( Monad (m effects)
where where
-- Explicit type signature is necessary here because we're passing all sorts of things -- Explicit type signature is necessary here because we're passing all sorts of things
-- to these comparison functions. -- to these comparison functions.
go :: (Ord a, MonadValue location value effects m) => a -> a -> m effects value go :: Ord a => a -> a -> m effects (Value location)
go l r = case comparator of go l r = case comparator of
Concrete f -> boolean (f l r) Concrete f -> boolean (f l r)
Generalized -> integer (orderingToInt (compare l r)) Generalized -> integer (orderingToInt (compare l r))