mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
clean up
This commit is contained in:
parent
0223de4145
commit
09faaf9b4e
@ -4,8 +4,7 @@ import Test.Hspec
|
||||
import Range
|
||||
|
||||
spec :: Spec
|
||||
spec = do
|
||||
describe "rangesAndWordsFrom" $ do
|
||||
spec = describe "rangesAndWordsFrom" $ do
|
||||
it "should produce no ranges for the empty string" $
|
||||
rangesAndWordsFrom 0 [] `shouldBe` []
|
||||
|
||||
|
@ -5,7 +5,6 @@ import Split
|
||||
import qualified Data.Set as Set
|
||||
import Diff
|
||||
import Range
|
||||
import Term
|
||||
import Test.Hspec.QuickCheck
|
||||
import Test.QuickCheck hiding (Fixed)
|
||||
import Control.Comonad.Cofree
|
||||
|
@ -20,7 +20,7 @@ newtype ArbitraryTerm a annotation = ArbitraryTerm (annotation, (Syntax a (Arbit
|
||||
deriving (Show, Eq, Generic)
|
||||
|
||||
unTerm :: ArbitraryTerm a annotation -> Term a annotation
|
||||
unTerm arbitraryTerm = unfold unpack arbitraryTerm
|
||||
unTerm = unfold unpack
|
||||
where unpack (ArbitraryTerm (annotation, syntax)) = (annotation, syntax)
|
||||
|
||||
instance (Eq a, Eq annotation, Arbitrary a, Arbitrary annotation) => Arbitrary (ArbitraryTerm a annotation) where
|
||||
|
Loading…
Reference in New Issue
Block a user