mirror of
https://github.com/github/semantic.git
synced 2024-11-29 02:44:36 +03:00
Cleanup lint messages
This commit is contained in:
parent
1ba892e286
commit
d5c04e209b
@ -116,7 +116,7 @@ rws compare as bs
|
||||
-> UnmappedTerms f fields
|
||||
-> UnmappedTerm f fields
|
||||
-> State (Int, UnmappedTerms f fields, UnmappedTerms f fields) (Int, Free (CofreeF f (Both (Record fields))) (Patch (Cofree f (Record fields))))
|
||||
insertion previous unmappedA unmappedB (UnmappedTerm j _ b) = do
|
||||
insertion _ unmappedA unmappedB (UnmappedTerm j _ b) = do
|
||||
put (j, unmappedA, IntMap.delete j unmappedB)
|
||||
pure (j, inserting b)
|
||||
|
||||
|
@ -10,7 +10,6 @@ import Patch
|
||||
import Patch.Arbitrary ()
|
||||
import Syntax
|
||||
import Prologue
|
||||
import Term
|
||||
import Term.Arbitrary
|
||||
import Test.QuickCheck hiding (Fixed)
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user