5 commits

Author	SHA1	Message	Date
Simon Jakobi	a2b9980e2c	Fix build failure in Nix.Var (#587) ... The `Refl` constructor had previously been re-exported from `Data.GADT.Compare`. This also replaces the dependency on `dependent-sum` with `some`, where the `Data.GADT.Compare` module is now defined. Tested by building locally with GHC 8.4.4, 8.6.5 and 8.8.3 in `cabal`. Fixes #585.	2020-05-25 20:28:26 +03:00
Anton-Latukha	34af384870	Var: LANGUAGE: rm Derive{Foldable,Functor,Traversable}	2019-08-04 09:14:41 -07:00
John Wiegley	94e0be3882	Reformat all sources with Brittany, to restore consistency	2019-03-17 14:47:38 -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	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