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
|
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
|
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
|
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 |
|
John Wiegley
|
145e69c9a4
|
Further work on Standard.hs
|
2019-03-15 22:54:29 -07:00 |
|
John Wiegley
|
209a9ae9a5
|
Create Nix/Thunk/Standard.hs
|
2019-03-15 17:59:38 -07:00 |
|
John Wiegley
|
85f32da4a4
|
Change signature of forceEff
|
2019-03-15 12:49:16 -07:00 |
|
John Wiegley
|
ace0fc10d5
|
Further progress
|
2019-03-14 15:10:41 -07:00 |
|
John Wiegley
|
f5726cd015
|
Further work
|
2019-03-14 10:56:20 -07:00 |
|
John Wiegley
|
67bc3f2a69
|
Hopefully finished up with Value.hs and Normal.hs
|
2019-03-13 10:53:58 -07:00 |
|
John Wiegley
|
3cb9834792
|
Begin abstracting the thunk/value data representation
|
2019-03-11 22:41:56 -07:00 |
|
John Wiegley
|
107f29d3fd
|
Move certain constraints from MonadThunk to the BasicThunk instance
|
2019-03-11 13:55:40 -07:00 |
|
John Wiegley
|
39fd51c1a8
|
Split Nix.Thunk into Nix.Var, Nix.Thunk and Nix.Thunk.Basic
This is in preparation for further generalization of the thunk/value scheme
used by the execution code.
|
2019-03-11 08:42:46 -07:00 |
|