dhall-nix 1.1.14 → 1.1.15
raw patch · 2 files changed
+4/−18 lines, 2 filesdep ~data-fixdep ~dhalldep ~hnix
Dependency ranges changed: data-fix, dhall, hnix
Files
- dhall-nix.cabal +4/−4
- src/Dhall/Nix.hs +0/−14
dhall-nix.cabal view
@@ -1,5 +1,5 @@ Name: dhall-nix-Version: 1.1.14+Version: 1.1.15 Cabal-Version: >=1.10 Build-Type: Simple Tested-With: GHC == 8.0.1@@ -30,8 +30,8 @@ base >= 4.8.0.0 && < 5 , containers < 0.7 , data-fix < 0.3 ,- dhall >= 1.31 && < 1.33,- hnix >= 0.7 && < 0.8 ,+ dhall >= 1.31 && < 1.34,+ hnix >= 0.7 && < 0.10, lens-family-core >= 1.0.0 && < 2.2 , neat-interpolation < 0.6 , text >= 0.8.0.0 && < 1.3@@ -54,7 +54,7 @@ dhall , dhall-nix , hnix ,- optparse-generic >= 1.1.1 && < 1.4,+ optparse-generic >= 1.1.1 && < 1.5, text GHC-Options: -Wall Default-Language: Haskell2010
src/Dhall/Nix.hs view
@@ -101,7 +101,6 @@ import Dhall.Core ( Binding(..) , Chunks(..)- , Const(..) , DhallDouble(..) , Expr(..) , MultiLet(..)@@ -524,19 +523,6 @@ loop Optional = return (Fix (NAbs "t" untranslatable)) loop (Some a) = loop a loop None = return (Fix (NConstant NNull))- loop OptionalFold = do- let e0 = Fix (NBinary NEq "x" (Fix (NConstant NNull)))- let e1 = Fix (NIf e0 "nothing" (Fix (NBinary NApp "just" "x")))- let e2 = Fix (NAbs "t" (Fix (NAbs "just" (Fix (NAbs "nothing" e1)))))- return (Fix (NAbs "t" (Fix (NAbs "x" e2))))- loop OptionalBuild = do- let e0 = Pi "nothing" "optional" "optional"- let e1 = Pi "just" (Pi "_" "a" "optional") e0- let e2 = Pi "optional" (Const Type) e1- let e3 = App None "a"- let e4 = Lam "x" "a" (Some "x")- let e5 = App (App (App "f" (App Optional "a")) e4) e3- loop (Lam "a" (Const Type) (Lam "f" e2 e5)) loop (Record _) = return untranslatable loop (RecordLit a) = do a' <- traverse loop a