diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-07-31T13·15+0200 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-08-09T13·17+0200 |
commit | c6184dec6c208d39a329586d0503b7a51bc2ded1 (patch) | |
tree | 90cf419766a400dd67e0c5475a3ae25536b9cb14 | |
parent | eb1d1ca780d0851b463b2532233e04c72d6fd9d4 (diff) |
nix repl: Support printing floating-point numbers
-rw-r--r-- | src/nix/repl.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/nix/repl.cc b/src/nix/repl.cc index e5a597addf4b..781b4463e54a 100644 --- a/src/nix/repl.cc +++ b/src/nix/repl.cc @@ -652,6 +652,10 @@ std::ostream & NixRepl::printValue(std::ostream & str, Value & v, unsigned int m str << ESC_BLU "«primop-app»" ESC_END; break; + case tFloat: + str << v.fpoint; + break; + default: str << ESC_RED "«unknown»" ESC_END; break; |