clean-up

Author: Anton-Latukha

src/Nix/Builtins.hs

@@ -659,6 +659,7 @@ splitMatches numDropped (((_, (start, len)) : captures) : mts) haystack =
   caps           = nvList (map f captures)
   f (a, (s, _)) = if s < 0 then nvConstant NNull else thunkStr a
 
+thunkStr :: Applicative f => ByteString -> NValue t f m
 thunkStr s = nvStr (makeNixStringWithoutContext (decodeUtf8 s))
 
 substring :: forall e t f m. MonadNix e t f m => Int -> Int -> NixString -> Prim m NixString
@@ -1512,16 +1513,16 @@ newtype Prim m a = Prim { runPrim :: m a }
 
 -- | Types that support conversion to nix in a particular monad
 class ToBuiltin t f m a | a -> m where
-    toBuiltin :: String -> a -> m (NValue t f m)
+  toBuiltin :: String -> a -> m (NValue t f m)
 
 instance (MonadNix e t f m, ToValue a m (NValue t f m))
-      => ToBuiltin t f m (Prim m a) where
+         => ToBuiltin t f m (Prim m a) where
   toBuiltin _ p = toValue =<< runPrim p
 
 instance ( MonadNix e t f m
          , FromValue a m (Deeper (NValue t f m))
          , ToBuiltin t f m b
          )
-      => ToBuiltin t f m (a -> b) where
+         => ToBuiltin t f m (a -> b) where
   toBuiltin name f =
     pure $ nvBuiltin name (fromValue . Deeper >=> toBuiltin name . f)

src/Nix/Lint.hs

@@ -1,4 +1,3 @@
-{-# LANGUAGE AllowAmbiguousTypes #-}
 {-# LANGUAGE ConstraintKinds #-}
 {-# LANGUAGE DataKinds #-}
 {-# LANGUAGE DeriveTraversable #-}

src/Nix/Value/Equal.hs

@@ -7,7 +7,6 @@
 {-# LANGUAGE DeriveTraversable #-}
 {-# LANGUAGE FlexibleContexts #-}
 {-# LANGUAGE FlexibleInstances #-}
-{-# LANGUAGE FunctionalDependencies #-}
 {-# LANGUAGE GADTs #-}
 {-# LANGUAGE LambdaCase #-}
 {-# LANGUAGE OverloadedStrings #-}
@@ -88,7 +87,7 @@ isDerivationM f m = case M.lookup "type" m of
       Nothing -> pure False
 
 isDerivation :: Monad m => (t -> Maybe NixString) -> AttrSet t -> Bool
-isDerivation f = runIdentity . isDerivationM (\x -> Identity (f x))
+isDerivation f = runIdentity . isDerivationM (Identity . f)
 
 valueFEqM
   :: Monad n

tests/EvalTests.hs

@@ -4,7 +4,7 @@
 {-# LANGUAGE ScopedTypeVariables #-}
 {-# LANGUAGE TemplateHaskell #-}
 
-{-# OPTIONS_GHC -Wno-missing-signatures -Wno-orphans #-}
+{-# OPTIONS_GHC -Wno-missing-signatures #-}
 
 module EvalTests (tests, genEvalCompareTests) where
 

tests/PrettyParseTests.hs

@@ -6,7 +6,6 @@
 {-# LANGUAGE NoMonomorphismRestriction #-}
 {-# LANGUAGE OverloadedStrings #-}
 
-{-# OPTIONS -Wno-orphans#-}
 
 module PrettyParseTests where