 Félix Baylac-Jacqué
|
cacbfdbd6d
|
Builtins: add builtins.concatMap
Fixes #448
|
2019-04-01 15:45:27 -07:00 |
|
|
Félix Baylac-Jacqué
|
3acc67ba66
|
Fix eval-okay-builtins-add.
Nix omits the trailing .0 when displaying a Float. Aligning current
hnix pretty printer with this behaviour.
Fixes #447.
|
2019-03-27 21:16:54 -07:00 |
|
John Wiegley
|
4607639774
|
Remove the NValueNF type, as it provides little utility
|
2019-03-27 21:16:01 -07:00 |
|
|
John Wiegley
|
3d89159ee4
|
Remove an old comment
|
2019-03-23 12:53:10 -07:00 |
|
|
John Wiegley
|
04cf8be650
|
Move StdIdT out of the StandardT transformer
|
2019-03-23 00:56:40 -07:00 |
|
|
John Wiegley
|
db5cfa3185
|
Normalize the order of some arguments
|
2019-03-23 00:50:17 -07:00 |
|
|
John Wiegley
|
9e22c63bd5
|
Simplify Standard.hs further by creating Nix.Utils.Fix1
|
2019-03-23 00:49:03 -07:00 |
|
|
John Wiegley
|
77c52fd43c
|
Revise Nix.Standard
|
2019-03-23 00:49:03 -07:00 |
|
|
John Wiegley
|
47143fda73
|
Add an 'inform' method to MonadValue
|
2019-03-19 13:10:35 -07:00 |
|
|
Shea Levy
|
e4b5e557e9
|
Bring up-to-date with hnix-store-core 0.1.0.0.
|
2019-03-19 03:48:13 -04:00 |
|
|
John Wiegley
|
d1ada44817
|
Run brittany
|
2019-03-18 21:47:43 -07:00 |
|
|
John Wiegley
|
9b046a80c7
|
Remove unnecessary trailing space
|
2019-03-18 21:41:27 -07:00 |
|
|
John Wiegley
|
2a27f71a10
|
Resolve a compiler warning
|
2019-03-18 21:37:53 -07:00 |
|
|
John Wiegley
|
92ca9ff831
|
Restore rendering of Expectation frames
|
2019-03-18 21:34:04 -07:00 |
|
|
John Wiegley
|
39e42c9df7
|
All the tests now pass
|
2019-03-18 18:55:59 -07:00 |
|
|
John Wiegley
|
769a40e643
|
Down to 3 failures
|
2019-03-18 18:31:36 -07:00 |
|
|
John Wiegley
|
77d67b106c
|
8 test failures remaining
|
2019-03-18 18:20:07 -07:00 |
|
|
John Wiegley
|
2c0c896871
|
Everything compiling again, but 25 tests failing
|
2019-03-18 17:30:31 -07:00 |
|
|
Ryan Trinkle
|
9cc17a5c78
|
Fix all' issue in Builtins.hs
|
2019-03-18 19:27:04 -04:00 |
|
|
John Wiegley
|
bf4ecb6f08
|
Almost all of Builtins.hs ported
|
2019-03-18 15:40:15 -07:00 |
|
|
John Wiegley
|
df3e79d945
|
Port over most of Builtins.hs
|
2019-03-18 15:27:12 -07:00 |
|
|
John Wiegley
|
439ae6ce0d
|
More work toward harmonization; now down to porting Builtins
|
2019-03-18 14:01:48 -07:00 |
|
|
John Wiegley
|
be7b289b02
|
Add train and further methods for extending thunk actions
|
2019-03-18 12:51:29 -07:00 |
|
|
John Wiegley
|
522585a7f1
|
Begin work on harmonizing the two different value representations
|
2019-03-18 11:41:46 -07:00 |
|
|
John Wiegley
|
29c48fa8e3
|
Run Brittany again
|
2019-03-17 22:46:15 -07:00 |
|
|
John Wiegley
|
18c49f6a0d
|
Reorganize code in Nix.Value, creating new Nix.Value.Equal
|
2019-03-17 22:44:22 -07:00 |
|
|
John Wiegley
|
8553f7f4e9
|
Remove some commented out code
|
2019-03-17 22:00:15 -07:00 |
|
|
John Wiegley
|
a006769124
|
Factor some common patterns back into Standard
|
2019-03-17 21:58:35 -07:00 |
|
|
John Wiegley
|
7b5d134d22
|
Factor out FreshIdT from Standard
|
2019-03-17 19:04:38 -07:00 |
|
|
John Wiegley
|
015ced236e
|
Simplify Standard by splitting off Cited.Basic
|
2019-03-17 18:43:23 -07:00 |
|
|
John Wiegley
|
3881101ebd
|
Some very minor changes for consistency
|
2019-03-17 16:54:59 -07:00 |
|
|
John Wiegley
|
895f4e721f
|
Merge remote-tracking branch 'origin/vs-context-primops'
|
2019-03-17 15:44:05 -07:00 |
|
|
John Wiegley
|
1e2b67e488
|
Remove some unneeded comments
|
2019-03-17 15:31:27 -07:00 |
|
|
John Wiegley
|
aa66560bf7
|
Get rid of implicit conversions to and from thunks
|
2019-03-17 15:30:20 -07:00 |
|
|
John Wiegley
|
94e0be3882
|
Reformat all sources with Brittany, to restore consistency
|
2019-03-17 14:47:38 -07:00 |
|
|
John Wiegley
|
8cfb965e99
|
Restore the previous behavior of genericClosure
|
2019-03-17 14:18:57 -07:00 |
|
|
John Wiegley
|
88c81ceafe
|
Whitespace changes
|
2019-03-17 13:33:54 -07:00 |
|
|
John Wiegley
|
ad8b4a9257
|
Remove some unnused code
|
2019-03-16 23:42:48 -07:00 |
|
|
John Wiegley
|
5c10be3e3b
|
More cleanup, get rid of the Eq and Ord instances for NValue'
They had dubious semantics anyway; there is now only valueEqM and valueNFEq.
|
2019-03-16 23:35:16 -07:00 |
|
|
John Wiegley
|
1a6978fe6b
|
Change NValueNF so that the Pure case preserves the looped thunk
|
2019-03-16 23:13:13 -07:00 |
|
|
John Wiegley
|
954e201408
|
Add new synonym in Standard.hs: type StdIdT m = FreshIdT Int m
|
2019-03-16 16:24:44 -07:00 |
|
|
John Wiegley
|
492a3ae0bc
|
Factor out thunk id representation into its own class, MonadThunkId
|
2019-03-16 16:23:40 -07:00 |
|
|
John Wiegley
|
fcddfab5a0
|
Add a documentation note for 'thunkId'
|
2019-03-16 14:49:48 -07:00 |
|
|
John Wiegley
|
9405074cd8
|
Fix hnix-tests
|
2019-03-16 14:41:25 -07:00 |
|
|
John Wiegley
|
676994ed82
|
Have forceEff pretend to return a value again
|
2019-03-16 13:23:38 -07:00 |
|
|
John Wiegley
|
3c2393e5af
|
Add sequenceNValueNF
|
2019-03-16 13:16:45 -07:00 |
|
|
John Wiegley
|
4387024935
|
Fix MonadThunk in Standard.hs
|
2019-03-16 12:58:33 -07:00 |
|
|
John Wiegley
|
537f1fc8c7
|
Finish out the instance definitions in Standard.hs
|
2019-03-16 12:48:07 -07:00 |
|
|
John Wiegley
|
3c2801cbc7
|
More minor cleanup, add a new README-design.md
|
2019-03-16 11:41:48 -07:00 |
|
|
John Wiegley
|
6ae5764221
|
All type checks, but many instance definitions are still missing
|
2019-03-16 01:10:47 -07:00 |
|