summaryrefslogtreecommitdiff
path: root/dhall/src (unfollow)
Commit message (Expand)AuthorFilesLines
2020-10-10Make reqwest an optional dependencyBasile Henry1-1/+5
2020-09-15Release dhall version 0.7.0Nadrieril1-1/+1
2020-09-14spec: Enable `with` optimizationsNadrieril9-26/+69
2020-08-05Release dhall version 0.6.0Nadrieril1-1/+1
2020-06-25spec: allow trailing delimitersNadrieril1-6/+7
2020-06-25spec!: remove Optional/build and Optional/foldNadrieril2-47/+3
2020-06-25spec: remove Unicode character from `dhall.abnf`Nadrieril1-1/+1
2020-06-25spec!: remove the ability to quote paths in URLsNadrieril3-14/+8
2020-06-25spec: ensure `keyword` rule only matches keywordsNadrieril1-2/+4
2020-06-25spec: not all ABNF parsers like empty rulesNadrieril3-44/+21
2020-06-25spec: allow quoted labels to be emptyNadrieril2-2/+4
2020-06-25spec: allow unions with mixed kindsNadrieril1-15/+5
2020-06-25spec: fix precedence of `===` and `with`Nadrieril4-11/+23
2020-06-24test: use errors instead of panics to signify test failureNadrieril1-0/+11
2020-06-24refactor: remove old test harnessNadrieril2-362/+0
2020-06-24test: write custom test harness for testsNadrieril1-1/+1
2020-06-24fix: panic on remote import on wasmNadrieril1-4/+2
2020-06-20fix(ci): grammar sync test fails spuriously on ciNadrieril1-0/+1
2020-05-30Release dhall version 0.5.3Nadrieril1-1/+1
2020-05-30Commit grammar file locallyNadrieril2-0/+965
2020-05-30Use dhall.abnf directly instead of via symlinkNadrieril1-1/+0
2020-05-30Refactor cache path resolutionNadrieril1-62/+21
2020-05-30Fix cache path resolution on wasmNadrieril1-0/+7
2020-05-30Make reqwest build on wasmNadrieril2-5/+15
2020-05-15test: Add remaining tests for cachefteychene1-0/+398
2020-05-15fixup! test: Add some unit tests for cachefteychene1-30/+55
2020-05-15fixup! test: Add some unit tests for cachefteychene1-56/+32
2020-05-15fixup! fixup! Release serde_dhall version 0.5.2fteychene1-31/+55
2020-05-15test: Add some unit tests for cachefteychene1-12/+121
2020-05-15fixup! Release serde_dhall version 0.5.2fteychene3-55/+68
2020-05-15feat: Add cache resolution on resolvefteychene5-31/+211
2020-04-12Release dhall version 0.5.2Nadrieril1-1/+1
2020-04-10Deserialize `Prelude.Map` and `toMap` to a map instead of a listNadrieril3-5/+11
2020-04-09Move Label escaping out of its Display implNadrieril1-21/+33
2020-04-09Release dhall version 0.5.1Nadrieril1-1/+1
2020-04-07ClippyNadrieril1-3/+3
2020-04-07Split operations module into submodulesNadrieril4-397/+414
2020-04-07Implement remaining record simplificationNadrieril1-9/+22
2020-04-07Swap diff order in tests for UI filesNadrieril1-1/+1
2020-04-07Move duplicate field checking to parserNadrieril9-361/+90
2020-04-06Move BinOp and Builtin definitions in the relevant moduleNadrieril11-179/+180
2020-04-06Move builtins module up a levelNadrieril5-7/+6
2020-04-06Extract operation-related code to a new moduleNadrieril12-881/+898
2020-04-06Only need to store OpKind in NirNadrieril2-82/+77
2020-04-06Fix normalization bugNadrieril1-49/+49
2020-04-06oopsNadrieril1-1/+1
2020-04-06Avoid a few allocationsNadrieril2-16/+20
2020-04-06Factor our operations in normalizationNadrieril2-300/+257
2020-04-06Factor out operations in typecheckNadrieril2-417/+438
2020-04-06Split off operations from main expr enumNadrieril11-353/+424