diff options
author | Nadrieril | 2019-04-09 16:23:29 +0200 |
---|---|---|
committer | Nadrieril | 2019-04-09 16:23:29 +0200 |
commit | 982f86c34f69bb78b45a4b8b37a5bf5731f881eb (patch) | |
tree | 2f2f6a2a61eb46ecae5e5ad2754847b7393b0345 | |
parent | 350d92430a047a41f855c9f61d278c4476f04d78 (diff) |
Update dhall-lang submodule
Diffstat (limited to '')
m--------- | dhall-lang | 0 | ||||
-rw-r--r-- | dhall/src/normalize.rs | 1 |
2 files changed, 0 insertions, 1 deletions
diff --git a/dhall-lang b/dhall-lang -Subproject d317261da2fdf2f997e5c7d87c5b297e427581e +Subproject af74785a3fd8f7c5ae212af7557ef64b52407a5 diff --git a/dhall/src/normalize.rs b/dhall/src/normalize.rs index 2454db4..d7f1848 100644 --- a/dhall/src/normalize.rs +++ b/dhall/src/normalize.rs @@ -663,7 +663,6 @@ mod spec_tests { // norm!(success_unit_UnionNormalizeAlternatives, "unit/UnionNormalizeAlternatives"); norm!(success_unit_UnionNormalizeArguments, "unit/UnionNormalizeArguments"); // norm!(success_unit_UnionProjectConstructor, "unit/UnionProjectConstructor"); - norm!(success_unit_UnionProjectConstructorNormalizeArguments, "unit/UnionProjectConstructorNormalizeArguments"); // norm!(success_unit_UnionSortAlternatives, "unit/UnionSortAlternatives"); // norm!(success_unit_UnionType, "unit/UnionType"); norm!(success_unit_UnionTypeEmpty, "unit/UnionTypeEmpty"); |