dhall_rust/dhall/tests/common, branch substitutions working copy forked from https://github.com/Nadrieril/dhall-rust https://stuebinm.eu/git/dhall_rust/atom/dhall/tests/common?h=substitutions 2019-04-08T15:28:05Z Move spec tests into the relevant files 2019-04-08T15:28:05Z Nadrieril 2019-04-08T15:26:59Z urn:sha1:008bd92cd4093a134092dd21bc6d36bdf6f4721d Restrict public API 2019-04-07T14:47:55Z Nadrieril 2019-04-07T14:45:30Z urn:sha1:4bebcd96b6e76b9b8ae7877af91d2ae571e617a9 Closes #20 Avoid constructing exprs manually when possible 2019-04-07T09:10:08Z Nadrieril 2019-04-07T09:09:57Z urn:sha1:c461548c32f8cb3ee2db5ade88ae4f91b3838ab5 Augment stack size for typecheck tests 2019-04-06T23:41:52Z Nadrieril 2019-04-06T23:41:08Z urn:sha1:619290e208f59bb15fc4f9d4b6dae2c19bb7b711 Move binary decoding to new API 2019-04-06T18:32:25Z Nadrieril 2019-04-06T18:32:25Z urn:sha1:412d0fac51b7b51aabcb049e3d6ba52f3dda1529 Massage import loading into new API 2019-04-06T18:13:22Z Nadrieril 2019-04-06T18:04:04Z urn:sha1:396ec334bac1e8d10a2d2b2d683c93e3b2ff4d8d Closes #9 s/DhallError/ImportError/ 2019-04-06T15:48:13Z Nadrieril 2019-04-06T15:48:13Z urn:sha1:9741e3280ed03920732430e7994e1f8482c9ddd6 Add type-inference tests 2019-04-06T10:52:37Z Nadrieril 2019-04-06T10:52:37Z urn:sha1:0cf63216e96331d56e58ba92a35f95ced2fa23ab Closes #49 Move recursion out of Expr 2019-03-31T17:08:08Z Nadrieril 2019-03-31T17:08:08Z urn:sha1:7374d0524ccd53b256107667b213597c05720d2d Improve import handling in parser 2019-03-21T21:08:23Z Nadrieril 2019-03-21T21:08:23Z urn:sha1:4b99a3fb46191a83fa8551f21b98cff689bbb338