summaryrefslogtreecommitdiffstats
path: root/lib
diff options
context:
space:
mode:
authorFrederik Rietdijk <fridh@fridh.nl>2019-04-18 08:25:25 +0200
committerFrederik Rietdijk <fridh@fridh.nl>2019-04-18 08:25:25 +0200
commit9d87ccabce3516cf1cf5654bd95cdc9471f8615e (patch)
tree0e5f35c10b1a24950685880a51035b3c722bcc9b /lib
parent488fb5829a677fdf8c52d2abb38834e0d3dc3068 (diff)
parent28ac30930934a5a0f40b6c585bc967ae3bbbd348 (diff)
Merge master into staging-next
Diffstat (limited to 'lib')
-rw-r--r--lib/fixed-points.nix9
-rw-r--r--lib/systems/platforms.nix1
2 files changed, 6 insertions, 4 deletions
diff --git a/lib/fixed-points.nix b/lib/fixed-points.nix
index 2f818c88de5d..968930526a63 100644
--- a/lib/fixed-points.nix
+++ b/lib/fixed-points.nix
@@ -30,9 +30,12 @@ rec {
# nix-repl> converge (x: x / 2) 16
# 0
converge = f: x:
- if (f x) == x
- then x
- else converge f (f x);
+ let
+ x' = f x;
+ in
+ if x' == x
+ then x
+ else converge f x';
# Modify the contents of an explicitly recursive attribute set in a way that
# honors `self`-references. This is accomplished with a function
diff --git a/lib/systems/platforms.nix b/lib/systems/platforms.nix
index 92de30162666..a2b43c970a41 100644
--- a/lib/systems/platforms.nix
+++ b/lib/systems/platforms.nix
@@ -258,7 +258,6 @@ rec {
name = "armeabi-v7a";
gcc = {
arch = "armv7-a";
- float = "hard";
float-abi = "softfp";
fpu = "vfpv3-d16";
};