Skip to content

Commit

Permalink
Restore support for records containing both types and terms (#1173)
Browse files Browse the repository at this point in the history 
... as standardized in dhall-lang/dhall-lang#689
  • Loading branch information
@ocharles @Gabriella439
ocharles authored and Gabriella439 committed Aug 31, 2019
1 parent 72fd2ac commit 2877525
Show file tree
Hide file tree
Showing 6 changed files with 26 additions and 269 deletions.
2 changes: 1 addition & 1 deletion dhall/dhall-lang
Submodule dhall-lang updated 20 files
+5 −239 README.md
+3 −2 nixops/logical.nix
+14 −32 standard/type-inference.md
+1 −1 tests/README.md
+ − tests/binary-decode/success/unit/AssertA.dhallb
+1 −0 tests/binary-decode/success/unit/AssertA.diag
+1 −0 tests/binary-decode/success/unit/AssertB.dhall
+ − tests/binary-decode/success/unit/OperatorEquivA.dhallb
+1 −0 tests/binary-decode/success/unit/OperatorEquivA.diag
+1 −0 tests/binary-decode/success/unit/OperatorEquivB.dhall
+1 −1 tests/normalization/success/unit/NaturalBuildImplementationB.dhall
+1 −1 tests/normalization/success/unit/RecursiveRecordMergeWithinFieldSelection3B.dhall
+1 −1 tests/normalization/success/unit/RightBiasedMergeWithinFieldSelection3B.dhall
+0 −0 tests/parser/success/unit/ifThenElseA.dhall
+0 −0 tests/parser/success/unit/ifThenElseB.dhallb
+0 −0 tests/parser/success/unit/ifThenElseB.diag
+0 −0 tests/type-inference/success/unit/FunctionDependentType1A.dhall
+0 −0 tests/type-inference/success/unit/FunctionDependentType1B.dhall
+0 −1 tests/typecheck/failure/duplicateFields.dhall
+10 −0 tests/typecheck/success/preludeB.dhall
5 changes: 5 additions & 0 deletions dhall/dhall.cabal
View file
Original file line number Diff line number Diff line change
Expand Up @@ -85,9 +85,14 @@ Extra-Source-Files:
dhall-lang/Prelude/Monoid
dhall-lang/Prelude/Natural/build
dhall-lang/Prelude/Natural/enumerate
dhall-lang/Prelude/Natural/equal
dhall-lang/Prelude/Natural/even
dhall-lang/Prelude/Natural/fold
dhall-lang/Prelude/Natural/greaterThan
dhall-lang/Prelude/Natural/greaterThanEqual
dhall-lang/Prelude/Natural/isZero
dhall-lang/Prelude/Natural/lessThan
dhall-lang/Prelude/Natural/lessThanEqual
dhall-lang/Prelude/Natural/odd
dhall-lang/Prelude/Natural/package.dhall
dhall-lang/Prelude/Natural/product
Expand Down
Loading

0 comments on commit 2877525

Please sign in to comment.