a8ade1c912Quiet hlint
John Wiegley
2018-04-03 22:14:55 -0700
5ccc2ce72cAdd shell.nix
John Wiegley
2018-04-03 22:12:48 -0700
735c5ca15aMake attrNames and attrValues sort by name
Ryan Trinkle
2018-04-04 00:02:17 -0400
bc753fda5fIgnore tests ending in ".exp.disabled"
Ryan Trinkle
2018-04-03 23:54:29 -0400
c8595a7353Fix builtins.toJSON's ordering of keys
Ryan Trinkle
2018-04-03 23:21:17 -0400
89563ceb38Add builtins.typeOf
Ryan Trinkle
2018-04-03 22:30:03 -0400
8f2914546aAdd comparisons for strings
Ryan Trinkle
2018-04-03 22:23:54 -0400
c506464d99Fix default_value_in_atpattern
Ryan Trinkle
2018-04-03 22:21:19 -0400
9558fdb8e2Change @-patterns to match nix's behavior more closely
Ryan Trinkle
2018-04-03 22:11:28 -0400
0535bbf561Add an acknowledge to Theo for his help in simplifying thunks
John Wiegley
2018-04-03 17:42:05 -0700
ad2cb7abacMake equality support a bit more things
Ryan Trinkle
2018-04-03 20:37:25 -0400
5794e2c906Support parsing floats
Ryan Trinkle
2018-04-03 20:37:11 -0400
3c339340c6Add builtins.fromJSON and builtins.toJSON
Ryan Trinkle
2018-04-03 20:36:54 -0400
d395501cd2Add builtins.add
Ryan Trinkle
2018-04-03 20:30:55 -0400
2bb88590acSimplify the implementation of thunks by relying on Haskell's implementation
John Wiegley
2018-04-03 17:15:54 -0700
767708cc3bUse coerce in one place
John Wiegley
2018-04-03 16:34:58 -0700
633145646fRestore readDir_
John Wiegley
2018-04-03 16:31:30 -0700
79001747d9Reorganize MonadNix a bit
John Wiegley
2018-04-03 15:47:33 -0700
973d6d873bAdd an evaluation test for issue #108
John Wiegley
2018-04-03 14:43:40 -0700
ea36f85338Use closures to capture the environment of a lambda abstraction
John Wiegley
2018-04-03 14:40:49 -0700
b33c2647ecRemove some debug code
John Wiegley
2018-04-03 14:24:16 -0700
c3eb7a94b9Add basic support for quasi-quotation of Nix expressions in Haskell
John Wiegley
2018-04-03 14:21:33 -0700
3072b1829dAdd a VarName type alias to Nix.Expr.Types
John Wiegley
2018-04-03 14:04:41 -0700
1b29467cabGeneralize the type of tracingEvalExpr
John Wiegley
2018-04-03 12:56:37 -0700
3775ff6c6dCorrect to error reporting related to stdin and strings
John Wiegley
2018-04-03 12:20:55 -0700
b8d925dcc6Use Data.Coerce
John Wiegley
2018-04-03 12:05:24 -0700
0a6ad5114dMerge branch 'master' of github.com:jwiegley/hnix
Ryan Trinkle
2018-04-03 12:36:51 -0400
dd16c0879eUpdate README.md
John Wiegley
2018-04-03 00:33:30 -0700
f5f69b5420Add Gitter hooks to .travis.yml
John Wiegley
2018-04-03 00:31:30 -0700
ef90244e5fDisable tracing
John Wiegley
2018-04-02 22:49:21 -0700
f899d3e60cCorrect a name scoping issue with function arguments
John Wiegley
2018-04-02 22:46:12 -0700
4cf58e3b9cAdd some tracing code
John Wiegley
2018-04-02 22:42:39 -0700
87ef75f737Some minor simplifications
John Wiegley
2018-04-02 21:50:38 -0700
e88bfc27edDelay eval of argument to with until other lookups fail
John Wiegley
2018-04-02 21:44:01 -0700
c50bf1a9f6Preserve more information in __cur_file rather than __cwd
John Wiegley
2018-04-02 19:57:05 -0700
56440490f6Propagate stack frame information across imported files
John Wiegley
2018-04-02 19:50:44 -0700
a4c338f0a1Disallow spaces after slashes in paths
Ryan Trinkle
2018-04-02 19:51:40 -0400
d1e029941aMake valueRef more efficient
John Wiegley
2018-04-02 16:51:39 -0700
4992eaecbeFix parsing of 4/2 (it should parse as a path)
Ryan Trinkle
2018-04-02 19:50:33 -0400
5b23affa19Merge branch 'master' of github.com:jwiegley/hnix
Ryan Trinkle
2018-04-02 18:56:13 -0400
144972f8a3Correctly propagate unification results to 1 level deep
John Wiegley
2018-04-02 15:32:55 -0700
2799ddbfb5Implement much of Lint.hs in terms of Eval.hs
John Wiegley
2018-04-02 14:41:42 -0700
84e8f45576Add dirOf
Ryan Trinkle
2018-04-02 16:52:59 -0400
2cb2b4dc7dMerge branch 'master' of github.com:jwiegley/hnix
Ryan Trinkle
2018-04-02 16:11:32 -0400
11cfe45a9fAdd a few more equality operators
Ryan Trinkle
2018-04-02 15:54:21 -0400
0672ab98c2Refactor dynamic key evaluation
Ryan Trinkle
2018-04-02 15:54:11 -0400
429d0be047Disable tracing
John Wiegley
2018-04-02 00:18:34 -0700
e27c4965a7Using thunks in the linting evaluator; still need to force where possible
John Wiegley
2018-04-02 00:18:01 -0700
ffb97610dbGeneralize the thunking mechanism, so it can be used over Symbolics
John Wiegley
2018-04-01 23:48:07 -0700
4a9c12fcc7Disable tracing
John Wiegley
2018-04-01 22:49:42 -0700
d7228c6a75Move language feature pragmas into each Haskell file, not .cabal
John Wiegley
2018-04-01 22:49:12 -0700
47b1ec2acbFix a warning
John Wiegley
2018-04-01 20:53:30 -0700
2e83606451Simplify the definition of ParamSet
John Wiegley
2018-04-01 20:53:19 -0700
acc48c279bAdd monadlist to default.nix
John Wiegley
2018-04-01 20:52:48 -0700
5fc350cef0Add builtins.readDir
Ryan Trinkle
2018-04-01 22:16:55 -0400
675ed404d3Add builtins.readFile
Ryan Trinkle
2018-04-01 21:42:10 -0400
fb1616053dAdd builtins.hashString
Ryan Trinkle
2018-04-01 21:20:53 -0400
30d0970476Add builtins.concatLists
Ryan Trinkle
2018-04-01 14:45:54 -0400
81aec9dfd0Merge branch 'master' of github.com:jwiegley/hnix
Ryan Trinkle
2018-04-01 14:35:06 -0400
4a5bcd7e4bMake builtins.sort stable
Ryan Trinkle
2018-04-01 14:32:42 -0400
852327173eFix pretty-printing of sets
Ryan Trinkle
2018-04-01 14:21:18 -0400
f709008efaAdd builtins.lessThan
Ryan Trinkle
2018-04-01 14:17:09 -0400
14b3bc5bb6Reimplement Nix.Builtins.apply in terms of evalApp
Ryan Trinkle
2018-04-01 14:16:59 -0400
a1a3c81211Add builtins.sort
Ryan Trinkle
2018-04-01 14:16:47 -0400
1dede9334aCorrection to the tests
John Wiegley
2018-04-01 10:55:23 -0700
dedde388e4Add stub code for NApp in Lint.hs, and a note in NAbs
John Wiegley
2018-04-01 10:43:59 -0700
f47b764dcfInitial phase of sym eval completed, still missing function application
John Wiegley
2018-04-01 10:33:43 -0700
c02b8bf843More work on dynamic bindings
John Wiegley
2018-04-01 06:22:23 -0700
06d63b0644More work on the symbolic evaluator
John Wiegley
2018-03-31 21:05:48 -0700
19faf5b161Begin work on the symbolic evaluator
John Wiegley
2018-03-31 10:02:22 -0700
2e46b7b63cAdd support for floats
Ryan Trinkle
2018-04-01 12:36:39 -0400
f77493aebeAdd type predicates (isList, etc.)
Ryan Trinkle
2018-04-01 11:50:07 -0400
8ab5298e26Add removeAttrs builtin
Ryan Trinkle
2018-04-01 11:37:17 -0400
abbde2b8aaAdd builtins.replaceStrings
Ryan Trinkle
2018-04-01 11:15:00 -0400
4bbb6e580bWhen showing strings, escape them with `show`
Ryan Trinkle
2018-03-31 19:54:20 -0400
3e3e61acd9Add more path normalization to do it the way Nix does
Ryan Trinkle
2018-03-31 19:53:35 -0400
2b3bbe8992Distinguish between places we should add paths to the nix store and places we should not, when converting to string
Ryan Trinkle
2018-03-31 19:21:48 -0400
6acdfb061cAdd version bounds for unordered-containers
Ryan Trinkle
2018-03-31 18:46:42 -0400
41ec61494aFix build
Ryan Trinkle
2018-03-31 18:43:55 -0400
479701a572Add builtins.genList
Ryan Trinkle
2018-03-31 17:54:30 -0400
852aff04e7Break apart MonadNix, to allow greater flexibility in evaluators
John Wiegley
2018-03-31 14:43:08 -0700
8621b97f0bWhen checking equality, test equality of structure before forcing contained thunks
Ryan Trinkle
2018-03-31 17:27:41 -0400
06cef41ac9Add builtins.elem
Ryan Trinkle
2018-03-31 17:27:24 -0400
5ded9334e7Add builtins.seq and builtins.deepSeq
Ryan Trinkle
2018-03-31 16:56:30 -0400
d32b962bb9Add builtins.unsafeDiscardStringContext
Ryan Trinkle
2018-03-31 16:32:47 -0400
d655e74d67Add makeAbsolutePath to MonadNix
Ryan Trinkle
2018-03-31 16:23:14 -0400
833e307e52Add baseNameOf builtin
Ryan Trinkle
2018-03-31 16:22:42 -0400
ea6108659dEliminate trailing linefeeds in the result of addPath
Ryan Trinkle
2018-03-31 16:22:05 -0400
4f384a3df4Add builtins.concatStringsSep
Ryan Trinkle
2018-03-31 15:40:34 -0400
911f65e26fAdd builtins.catAttrs
Ryan Trinkle
2018-03-31 15:36:09 -0400
03e5aa48c4Support "__functor" attributes
Ryan Trinkle
2018-03-31 15:27:34 -0400
7f897b8c69Add builtins.attrValues
Ryan Trinkle
2018-03-31 15:03:28 -0400
7976485874Slightly improve error message in attrSetAlter
Ryan Trinkle
2018-03-31 14:58:53 -0400
eb51746b0eAdd value set support to valueEq
Ryan Trinkle
2018-03-31 12:05:54 -0400
1898544e37Merge branch 'master' of github.com:jwiegley/hnix
Ryan Trinkle
2018-03-31 11:07:48 -0400
267faaf19cFix some warnings
John Wiegley
2018-03-30 23:36:01 -0700
c2c4d93585Simplify the definitions of adi and adiM, according to our actual usage
John Wiegley
2018-03-30 23:34:57 -0700
b89b795abeSome improvements to error traces
John Wiegley
2018-03-30 23:08:59 -0700
d08ca26da0Add informative backtraces on evaluation failure
John Wiegley
2018-03-30 23:00:06 -0700
4e29e6453fDon't use -threaded in hnix.cabal at the moment
John Wiegley
2018-03-30 22:54:05 -0700