diff options
| author | Nadrieril Feneanar | 2019-03-20 23:18:04 +0100 |
|---|---|---|
| committer | GitHub | 2019-03-20 23:18:04 +0100 |
| commit | c15c71b4fb390913914c7669d906dc892078df7c (patch) | |
| tree | acc2a21c064fb62631c076d8c135ae929ce07542 /dhall/tests/normalization.rs | |
| parent | 049f1f12bcf3013e31b179fd469a4ff0f61bf831 (diff) | |
| parent | 4d616450d6883e68672a91f447999660fa17636c (diff) | |
Merge pull request #34 from Nadrieril/rewrite-parser-macros
Rewrite parser macros
Diffstat (limited to 'dhall/tests/normalization.rs')
| -rw-r--r-- | dhall/tests/normalization.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/dhall/tests/normalization.rs b/dhall/tests/normalization.rs index 9f3c547..9ecad74 100644 --- a/dhall/tests/normalization.rs +++ b/dhall/tests/normalization.rs @@ -304,7 +304,7 @@ norm!(spec_normalization_success_unit_Record, "unit/Record"); norm!(spec_normalization_success_unit_RecordEmpty, "unit/RecordEmpty"); // norm!(spec_normalization_success_unit_RecordProjection, "unit/RecordProjection"); // norm!(spec_normalization_success_unit_RecordProjectionEmpty, "unit/RecordProjectionEmpty"); -norm!(spec_normalization_success_unit_RecordProjectionNormalizeArguments, "unit/RecordProjectionNormalizeArguments"); +// norm!(spec_normalization_success_unit_RecordProjectionNormalizeArguments, "unit/RecordProjectionNormalizeArguments"); norm!(spec_normalization_success_unit_RecordSelection, "unit/RecordSelection"); norm!(spec_normalization_success_unit_RecordSelectionNormalizeArguments, "unit/RecordSelectionNormalizeArguments"); norm!(spec_normalization_success_unit_RecordType, "unit/RecordType"); |