Ugly Alpha 1
dhall:0.2.1

total uncompressed bytes

313.1 KB

total files

124

Fix

NewInclude { include: [ "src/**/*", "README.md", "build.rs", ], has_build_script: true, }

90 wasted files

total waste: 13.7 KB

  1. tests/type-errors/unit/AnnotationRecordWrongFieldName.txt : 525 B
  2. tests/type-errors/unit/AnnotationRecordWrongFieldType.txt : 510 B
  3. tests/type-errors/unit/OptionalDeprecatedSyntaxPresent.txt : 482 B
  4. tests/type-errors/unit/MergeHandlerNotMatchAlternativeType.txt : 438 B
  5. tests/type-errors/unit/RecordSelectionNotPresent.txt : 418 B
  6. tests/type-errors/unit/FunctionApplicationArgumentNotMatch.txt : 415 B
  7. tests/type-errors/unit/NaturalSubtractNotNatural.txt : 411 B
  8. tests/type-errors/unit/OperatorListConcatenateListsNotMatch.txt : 361 B
  9. tests/type-errors/unit/IfBranchesNotMatch.txt : 324 B
  10. tests/type-errors/unit/EquivalenceNotSameType.txt : 297 B
  11. tests/type-errors/unit/AssertDoubleZeros.txt : 283 B
  12. tests/type-errors/unit/ListLiteralEmptyNotType.txt : 262 B
  13. tests/type-errors/hurkensParadox.txt : 261 B
  14. tests/type-errors/unit/AssertTriviallyFalse.txt : 256 B
  15. tests/type-errors/unit/ListLiteralTypesNotMatch.txt : 234 B
  16. tests/type-errors/unit/TypeAnnotationWrong.txt : 226 B
  17. tests/type-errors/unit/LetWithWrongAnnotation.txt : 226 B
  18. tests/type-errors/unit/RecordSelectionEmpty.txt : 199 B
  19. tests/type-errors/unit/UnionConstructorFieldNotPresent.txt : 188 B
  20. tests/type-errors/unit/OperatorTextConcatenateRhsNotText.txt : 182 B
  21. tests/type-errors/unit/OperatorTextConcatenateLhsNotText.txt : 182 B
  22. tests/type-errors/unit/OperatorListConcatenateRhsNotList.txt : 182 B
  23. tests/type-errors/unit/OperatorListConcatenateNotListsButMatch.txt : 182 B
  24. tests/type-errors/unit/OperatorListConcatenateLhsNotList.txt : 182 B
  25. tests/type-errors/unit/OperatorTimesNotNatural.txt : 181 B
  26. tests/type-errors/unit/OperatorPlusNotNatural.txt : 180 B
  27. tests/type-errors/unit/MergeRhsNotUnion.txt : 180 B
  28. tests/type-errors/unit/OperatorAndNotBool.txt : 179 B
  29. tests/type-errors/unit/UnionTypeNotType.txt : 178 B
  30. tests/type-errors/unit/RecordTypeValueMember.txt : 178 B
  31. tests/type-errors/unit/OperatorOrNotBool.txt : 178 B
  32. tests/type-errors/unit/OperatorNotEqualNotBool.txt : 178 B
  33. tests/type-errors/unit/OperatorEqualNotBool.txt : 178 B
  34. tests/type-errors/unit/TextLiteralInterpolateNotText.txt : 177 B
  35. tests/type-errors/unit/OptionalDeprecatedSyntaxAbsent.txt : 171 B
  36. tests/type-errors/unit/MergeLhsNotRecord.txt : 171 B
  37. tests/type-errors/unit/IfNotBool.txt : 169 B
  38. tests/type-errors/unit/RightBiasedRecordMergeRhsNotRecord.txt : 167 B
  39. tests/type-errors/unit/RightBiasedRecordMergeLhsNotRecord.txt : 167 B
  40. tests/type-errors/unit/AssertAlphaTrap.txt : 159 B
  41. tests/type-errors/unit/RecordSelectionNotRecord.txt : 155 B
  42. tests/type-errors/unit/EquivalenceNotTerms.txt : 129 B
  43. tests/type-errors/unit/RecursiveRecordTypeMergeRhsNotRecordType.txt : 123 B
  44. tests/type-errors/unit/RecursiveRecordTypeMergeOverlapping.txt : 123 B
  45. tests/type-errors/unit/RecursiveRecordTypeMergeLhsNotRecordType.txt : 123 B
  46. tests/type-errors/unit/RecursiveRecordMergeRhsNotRecord.txt : 123 B
  47. tests/type-errors/unit/RecursiveRecordMergeOverlapping.txt : 123 B
  48. tests/type-errors/unit/RecursiveRecordMergeLhsNotRecord.txt : 123 B
  49. tests/type-errors/unit/UnionTypeMixedKinds3.txt : 122 B
  50. tests/type-errors/unit/UnionDeprecatedConstructorsKeyword.txt : 121 B
  51. tests/type-errors/unit/MergeHandlerNotInUnion.txt : 113 B
  52. tests/type-errors/unit/MergeEmptyWithoutAnnotation.txt : 113 B
  53. tests/type-errors/unit/MergeAnnotationNotType.txt : 113 B
  54. tests/type-errors/unit/RecordSelectionTypeNotUnionType.txt : 112 B
  55. tests/type-errors/unit/FunctionArgumentTypeNotAType.txt : 91 B
  56. tests/type-errors/unit/FunctionTypeArgumentTypeNotAType.txt : 77 B
  57. tests/type-errors/unit/FunctionApplicationIsNotFunction.txt : 74 B
  58. tests/type-errors/unit/MergeHandlerFreeVar.txt : 70 B
  59. tests/type-errors/unit/MergeUnusedHandler.txt : 68 B
  60. tests/type-errors/unit/MergeMissingHandler2.txt : 68 B
  61. tests/type-errors/unit/MergeMissingHandler1.txt : 68 B
  62. tests/type-errors/unit/MergeAlternativeHasNoHandler.txt : 68 B
  63. tests/type-errors/mixedUnions.txt : 68 B
  64. tests/type-errors/unit/VariableFree.txt : 65 B
  65. tests/type-errors/unit/UnionTypeMixedKinds2.txt : 64 B
  66. tests/type-errors/unit/UnionTypeMixedKinds.txt : 64 B
  67. tests/type-errors/unit/IfBranchesNotType.txt : 60 B
  68. tests/type-errors/unit/SomeNotType.txt : 55 B
  69. tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation2.txt : 55 B
  70. tests/type-errors/unit/MergeEmptyNeedsDirectAnnotation1.txt : 55 B
  71. tests/type-errors/unit/AssertNotEquivalence.txt : 55 B
  72. tests/type-errors/unit/RecordTypeDuplicateFields.txt : 54 B
  73. tests/type-errors/unit/RecordProjectionDuplicateFields.txt : 54 B
  74. tests/type-errors/unit/RecordLitDuplicateFields.txt : 54 B
  75. tests/type-errors/unit/MergeHandlersWithDifferentType.txt : 54 B
  76. tests/type-errors/unit/UnionTypeDuplicateVariants2.txt : 53 B
  77. tests/type-errors/unit/UnionTypeDuplicateVariants1.txt : 53 B
  78. tests/type-errors/unit/RecordProjectionNotRecord.txt : 52 B
  79. tests/type-errors/unit/RecordProjectionNotPresent.txt : 52 B
  80. tests/type-errors/unit/RecordProjectionEmpty.txt : 52 B
  81. tests/type-errors/unit/ListLiteralNotType.txt : 51 B
  82. tests/type-errors/unit/MergeAnnotationMismatch.txt : 48 B
  83. tests/type-errors/unit/MergeHandlerNotFunction.txt : 46 B
  84. tests/type-errors/unit/Sort.txt : 34 B
  85. tests/type-errors/unit/RightBiasedRecordMergeMixedKinds3.txt : 34 B
  86. tests/type-errors/unit/RightBiasedRecordMergeMixedKinds2.txt : 34 B
  87. tests/type-errors/unit/RecordMixedKinds3.txt : 34 B
  88. tests/type-errors/unit/FunctionTypeTypeSort.txt : 34 B
  89. tests/type-errors/unit/FunctionTypeKindSort.txt : 34 B
  90. tests/type-errors/recordOfKind.txt : 34 B