hls-tactics-plugin-1.1.0.0: test/CodeAction/RefineSpec.hs

{-# LANGUAGE DataKinds             #-}
{-# LANGUAGE DuplicateRecordFields #-}
{-# LANGUAGE OverloadedStrings     #-}
{-# LANGUAGE ScopedTypeVariables   #-}
{-# LANGUAGE TypeOperators         #-}
{-# LANGUAGE ViewPatterns          #-}

module CodeAction.RefineSpec where

import Wingman.Types
import Test.Hspec
import Utils
import Wingman.FeatureSet (allFeatures)


spec :: Spec
spec = do
  let refineTest = goldenTest Refine ""

  describe "golden" $ do
    refineTest 2 8 "RefineIntro.hs"
    refineTest 2 8 "RefineCon.hs"
    refineTest 4 8 "RefineReader.hs"
    refineTest 8 8 "RefineGADT.hs"

  describe "messages" $ do
    mkShowMessageTest allFeatures Refine "" 2 8 "MessageForallA.hs" NothingToDo