Type.Assumption: Assumption: rm newtype getter

Author: Anton-Latukha

src/Nix/Type/Assumption.hs

@@ -21,7 +21,7 @@ import           Prelude                 hiding ( Type
 import           Nix.Expr.Types
 import           Nix.Type.Type
 
-newtype Assumption = Assumption { assumptions :: [(VarName, Type)] }
+newtype Assumption = Assumption [(VarName, Type)]
   deriving (Eq, Show)
 
 -- We pretend that Assumptions can be inconsistent (nonunique keys),

src/Nix/Type/Infer.hs

@@ -60,9 +60,7 @@ import           Nix.Expr.Types
 import           Nix.Fresh
 import           Nix.String
 import           Nix.Scope
-import           Nix.Type.Assumption     hiding ( assumptions
-                                                , extend
-                                                )
+import           Nix.Type.Assumption     hiding ( extend )
 import qualified Nix.Type.Assumption           as Assumption
                                                 ( remove
                                                 , lookup