I am sorry but I actually prefer the other style of specification! The main reason is that I think that encourages me to think about writing some text about what I am testing, and why I am testing it this way (that doesn't mean that I necessarily do it :-)).
I hear you and I indeed simplified all must expressions to be a must b, and then a must not(b).
| {-# LANGUAGE TemplateHaskell #-} | |
| import qualified Data.Text as T | |
| import Optics as O | |
| import Protolude hiding ((%), from) | |
| import Witch | |
| import Data.Coerce | |
| -- 2 different temperature types | |
| newtype Kelvin = Kelvin Double deriving (Eq, Show, Num) |
| module ConcurrentMap where | |
| import Control.Concurrent.STM.TVar (TVar) | |
| import Control.Concurrent.STM (STM) | |
| import Data.Hashable (Hashable) | |
| import Data.HashMap.Strict (HashMap) | |
| import Data.Vector (Vector) | |
| import qualified Control.Concurrent.STM.TVar as TVar | |
| import qualified Data.Hashable as Hashable |
| import org.specs2.specification.create._ | |
| import org.specs2.control.producer.Producer._ | |
| /** How to add an async action after each example */ | |
| trait AfterEachAsync extends org.specs2.mutable.Specification: | |
| override def map(fs: =>Fragments): Fragments = | |
| super.map(fs.flatMap { f => | |
| if Fragment.isExample(f) then | |
| emitAsync(List(f, step(afterAsync))) | |
| else |
| {-# LANGUAGE BlockArguments #-} | |
| {-# LANGUAGE DerivingVia #-} | |
| {-# LANGUAGE FlexibleInstances #-} | |
| {-# LANGUAGE GeneralizedNewtypeDeriving #-} | |
| {-# LANGUAGE InstanceSigs #-} | |
| {-# LANGUAGE PostfixOperators #-} | |
| {-# LANGUAGE RankNTypes #-} | |
| {-# LANGUAGE ScopedTypeVariables #-} | |
| {-# LANGUAGE UndecidableInstances #-} | |
| {-# LANGUAGE TypeApplications #-} |
| import scala.concurrent.ExecutionContext | |
| // this type is used by the implicit search to succeed in finding Not[C] | |
| // when C can not be found as an implicit value | |
| import scala.implicits.Not | |
| trait ImplicitExecutionContextFromExecutionEnv: | |
| /** |
| newService :: Monad m => Logger m -> Tracer m -> Service m | |
| newService Logger {..} Tracer {..} = Service {..} | |
| where | |
| doIt :: Int -> Text -> m () | |
| doIt n t = do | |
| info "doing it" t | |
| traceIt (show n) |
Pull request #8373 implementing issue 333 (but please note differences).
Pull request description follows:
This PR adds a -Wconf compiler flag that allows filtering and configuring compiler warnings (silence
them, or turn them into errors).
It also integrates the fantastic silencer compiler plugin by @ghik
into the compiler, which allows suppressing warnings locally using the @nowarn annotation.
| case class FileName private(name: String) | |
| /** | |
| val fileName1: FileName = ToFileName("fileName1") | |
| -- Error: /Users/etorreborre/projects/specs2/specs2-five/common/shared/src/test/scala/org/specs2/io/DirectoryPathSpec.scala:13:38 | |
| [error] 13 | val fileName1: FileName = ToFileName("fileName1") | |
| [error] | ^^^^^^^^^^^ | |
| [error] | fileName1 is not a valid file name! It must not contain a / |
| import org.specs2.main.CommandLine | |
| // run from sbt with | |
| // | |
| // sbt> testOnly *ArgsSpec* | |
| // sbt> testOnly *ArgsSpec* -- isOk | |
| // sbt> testOnly *ArgsSpec* -- !isOk | |
| // | |
| // and see the difference | |
| class ArgsSpec(args: CommandLine) extends mutable.Specification { |