summaryrefslogtreecommitdiff
path: root/tests_buffer (unfollow)
Commit message (Expand)AuthorFilesLines
2020-04-05Check code hashes in importNadrieril1-0/+2
2020-04-05Add a testNadrieril1-0/+1
2020-03-31Reorganize API and internals of serde_dhall a bitNadrieril1-0/+4
2020-03-11Implement record punsNadrieril1-4/+6
2020-03-10Upstream all local testsNadrieril1-9/+0
2020-03-05Implement `as Location` importsNadrieril1-0/+1
2020-03-05Add a bunch of `as Location` unit testsNadrieril1-1/+1
2020-03-05Add a bunch of testsNadrieril1-23/+0
2020-03-05Prepare test bufferNadrieril1-28/+23
2020-02-18Borrow relevant Hir from TirNadrieril1-0/+2
2020-02-16Start requiring Universe to build a TypeNadrieril1-0/+1
2020-02-02Add local test files on top of dhall-lang testsNadrieril1-8/+6
2020-02-02More nice errors plus some refactorNadrieril1-0/+2
2020-01-29Fix more bugsNadrieril1-0/+1
2020-01-28Implement assert & merge and fix more bugsNadrieril1-0/+1
2020-01-28Fix all sorts of variable shenanigansNadrieril1-0/+1
2020-01-17Oops, this endeavour is doomedNadrieril1-0/+1
2019-09-05Implement rule aliasing and simplify parser codeNadrieril1-0/+2
2019-08-31Don't URL-decode path segmentsNadrieril1-0/+1
2019-08-31Implement parsing of `toMap` keywordNadrieril1-0/+2
2019-08-27Remove rule aliasingNadrieril1-0/+1
2019-08-25Rework apply_builtin to enforce preservation of type informationNadrieril1-0/+2
2019-08-25Keep type information through normalizationNadrieril1-0/+3
2019-08-23Keep type information after RecursiveRecordTypeMergeNadrieril1-1/+3
2019-08-20Propagate type information in Value::app()Nadrieril1-0/+1
2019-08-10Update dhall-lang submoduleNadrieril1-1/+2
2019-08-08Upstream a bunch of testsNadrieril1-99/+6
2019-08-06RFC3986 URLsNadrieril1-0/+1
2019-08-06Add some testsNadrieril1-0/+3
2019-08-06Remove old-style optional literalsNadrieril1-0/+3
2019-08-03Update dhall-lang submoduleNadrieril1-0/+1
2019-05-12Update test bufferNadrieril1-97/+113
2019-05-12Commit test bufferNadrieril1-0/+113
generated by cgit v1.2.3 (git 2.25.1) at 2024-11-18 11:52:43 +0000