mirror of
https://github.com/github/semantic.git
synced 2024-11-24 08:54:07 +03:00
Rename the Term spec.
This commit is contained in:
parent
a079638c5b
commit
a442bfeea1
@ -150,6 +150,7 @@ test-suite test
|
||||
, Data.Functor.Listable
|
||||
, Data.Mergeable.Spec
|
||||
, Data.Source.Spec
|
||||
, Data.Term.Spec
|
||||
, Diffing.Algorithm.RWS.Spec
|
||||
, Diffing.Algorithm.SES.Spec
|
||||
, Semantic.Spec
|
||||
@ -158,7 +159,6 @@ test-suite test
|
||||
, Semantic.Stat.Spec
|
||||
, InterpreterSpec
|
||||
, SpecHelpers
|
||||
, TermSpec
|
||||
, TOCSpec
|
||||
, IntegrationSpec
|
||||
, Test.Hspec.LeanCheck
|
||||
|
@ -1,5 +1,5 @@
|
||||
{-# LANGUAGE DataKinds #-}
|
||||
module TermSpec where
|
||||
module Data.Term.Spec where
|
||||
|
||||
import Category
|
||||
import Data.Functor.Listable
|
@ -5,10 +5,10 @@ import qualified Data.Diff.Spec
|
||||
import qualified Data.Functor.Classes.Ord.Generic.Spec
|
||||
import qualified Data.Mergeable.Spec
|
||||
import qualified Data.Source.Spec
|
||||
import qualified Data.Term.Spec
|
||||
import qualified Diffing.Algorithm.RWS.Spec
|
||||
import qualified Diffing.Algorithm.SES.Spec
|
||||
import qualified InterpreterSpec
|
||||
import qualified TermSpec
|
||||
import qualified TOCSpec
|
||||
import qualified IntegrationSpec
|
||||
import qualified Semantic.Spec
|
||||
@ -26,10 +26,10 @@ main = hspec $ do
|
||||
describe "Data.Functor.Classes.Ord.Generic" Data.Functor.Classes.Ord.Generic.Spec.spec
|
||||
describe "Data.Mergeable" Data.Mergeable.Spec.spec
|
||||
describe "Data.Source" Data.Source.Spec.spec
|
||||
describe "Data.Term" Data.Term.Spec.spec
|
||||
describe "Diffing.Algorithm.RWS" Diffing.Algorithm.RWS.Spec.spec
|
||||
describe "Diffing.Algorithm.SES" Diffing.Algorithm.SES.Spec.spec
|
||||
describe "Interpreter" InterpreterSpec.spec
|
||||
describe "Term" TermSpec.spec
|
||||
describe "Semantic" Semantic.Spec.spec
|
||||
describe "Semantic.CLI" Semantic.CLI.Spec.spec
|
||||
describe "Semantic.IO" Semantic.IO.Spec.spec
|
||||
|
Loading…
Reference in New Issue
Block a user