gitextract_55f_2v4h/ ├── .github/ │ └── workflows/ │ ├── ci.yml │ └── clean.yml ├── .gitignore ├── .gitmodules ├── .scalafmt.conf ├── LICENSE ├── README.md ├── WORKSPACE ├── benchmarks/ │ └── src/ │ └── main/ │ └── scala/ │ └── org/ │ └── dhallj/ │ └── benchmarks/ │ ├── EncodingBenchmark.scala │ └── ParsingBenchmark.scala ├── build.sbt ├── cli/ │ └── src/ │ └── main/ │ └── java/ │ └── org/ │ └── dhallj/ │ └── cli/ │ └── Dhall.java ├── javascript/ │ ├── BUILD │ ├── api/ │ │ ├── BUILD │ │ ├── DhallJs.java │ │ └── dhall.js │ └── jre/ │ ├── BUILD │ ├── BufferedReader.java │ ├── InputStreamReader.java │ ├── InvalidPathException.java │ ├── Path.java │ ├── Paths.java │ ├── URI.java │ └── URISyntaxException.java ├── modules/ │ ├── ast/ │ │ └── src/ │ │ └── main/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── ast/ │ │ └── package.scala │ ├── cats/ │ │ └── src/ │ │ ├── main/ │ │ │ └── scala/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ └── cats/ │ │ │ └── LiftVisitor.scala │ │ └── test/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── cats/ │ │ └── LiftVisitorSuite.scala │ ├── circe/ │ │ └── src/ │ │ ├── main/ │ │ │ └── scala/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ └── circe/ │ │ │ ├── CirceHandler.scala │ │ │ └── Converter.scala │ │ └── test/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── circe/ │ │ ├── CirceConverterSuite.scala │ │ └── JsonCleaner.scala │ ├── core/ │ │ ├── BUILD │ │ └── src/ │ │ ├── main/ │ │ │ └── java/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ ├── cbor/ │ │ │ │ ├── AdditionalInfo.java │ │ │ │ ├── CborException.java │ │ │ │ ├── HalfFloat.java │ │ │ │ ├── MajorType.java │ │ │ │ ├── NullVisitor.java │ │ │ │ ├── Reader.java │ │ │ │ ├── Visitor.java │ │ │ │ └── Writer.java │ │ │ └── core/ │ │ │ ├── ArrayIterable.java │ │ │ ├── Constructors.java │ │ │ ├── DhallException.java │ │ │ ├── Expr.java │ │ │ ├── ExternalVisitor.java │ │ │ ├── IsResolved.java │ │ │ ├── Operator.java │ │ │ ├── Source.java │ │ │ ├── Tags.java │ │ │ ├── ToStringVisitor.java │ │ │ ├── VisitState.java │ │ │ ├── Visitor.java │ │ │ ├── binary/ │ │ │ │ ├── CborDecodingVisitor.java │ │ │ │ ├── Decode.java │ │ │ │ ├── DecodingException.java │ │ │ │ ├── Encode.java │ │ │ │ └── Label.java │ │ │ ├── converters/ │ │ │ │ ├── JsonConverter.java │ │ │ │ └── JsonHandler.java │ │ │ ├── normalization/ │ │ │ │ ├── AlphaNormalize.java │ │ │ │ ├── BetaNormalize.java │ │ │ │ ├── BetaNormalizeApplication.java │ │ │ │ ├── BetaNormalizeFieldAccess.java │ │ │ │ ├── BetaNormalizeIf.java │ │ │ │ ├── BetaNormalizeMerge.java │ │ │ │ ├── BetaNormalizeOperatorApplication.java │ │ │ │ ├── BetaNormalizeProjection.java │ │ │ │ ├── BetaNormalizeTextLiteral.java │ │ │ │ ├── BetaNormalizeToMap.java │ │ │ │ ├── BetaNormalizeWith.java │ │ │ │ ├── NormalizationUtils.java │ │ │ │ ├── Shift.java │ │ │ │ └── Substitute.java │ │ │ └── typechecking/ │ │ │ ├── BuiltInTypes.java │ │ │ ├── CheckEquivalence.java │ │ │ ├── Context.java │ │ │ ├── NonNegativeIndices.java │ │ │ ├── TypeCheck.java │ │ │ ├── TypeCheckApplication.java │ │ │ ├── TypeCheckFailure.java │ │ │ └── Universe.java │ │ └── test/ │ │ └── java/ │ │ └── org/ │ │ └── dhallj/ │ │ └── cbor/ │ │ ├── CborSuite.scala │ │ └── HalfFloatSuite.scala │ ├── imports/ │ │ ├── README.md │ │ └── src/ │ │ ├── main/ │ │ │ └── scala/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ └── imports/ │ │ │ ├── Canonicalization.scala │ │ │ ├── CorsComplianceCheck.scala │ │ │ ├── ImportCache.scala │ │ │ ├── ImportContext.scala │ │ │ ├── ReferentialSanityCheck.scala │ │ │ ├── ResolveImports.scala │ │ │ ├── ResolveImportsVisitor.scala │ │ │ ├── ToHeaders.scala │ │ │ └── syntax/ │ │ │ └── package.scala │ │ └── test/ │ │ ├── resources/ │ │ │ ├── alternate/ │ │ │ │ ├── other.dhall │ │ │ │ └── package.dhall │ │ │ ├── cache-write/ │ │ │ │ └── package.dhall │ │ │ ├── cyclic/ │ │ │ │ ├── other.dhall │ │ │ │ └── package.dhall │ │ │ ├── cyclic-relative-paths/ │ │ │ │ ├── other.dhall │ │ │ │ └── package.dhall │ │ │ ├── hashed/ │ │ │ │ └── package.dhall │ │ │ ├── local/ │ │ │ │ └── package.dhall │ │ │ ├── local-local-absolute/ │ │ │ │ └── package.dhall │ │ │ ├── local-local-absolute-2/ │ │ │ │ └── package.dhall │ │ │ ├── local-local-relative/ │ │ │ │ ├── other.dhall │ │ │ │ └── package.dhall │ │ │ ├── local-remote/ │ │ │ │ └── package.dhall │ │ │ ├── multiple-imports/ │ │ │ │ ├── other.dhall │ │ │ │ ├── other2.dhall │ │ │ │ └── package.dhall │ │ │ └── text-import/ │ │ │ └── package.dhall │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── imports/ │ │ ├── CanonicalizationSuite.scala │ │ ├── CorsComplianceCheckSuite.scala │ │ ├── ImportCacheSuite.scala │ │ ├── ImportResolutionSuite.scala │ │ ├── ReferentialSanityCheckSuite.scala │ │ └── ToHeadersSuite.scala │ ├── imports-mini/ │ │ └── src/ │ │ └── main/ │ │ └── java/ │ │ └── org/ │ │ └── dhallj/ │ │ └── imports/ │ │ └── mini/ │ │ ├── ResolutionVisitor.java │ │ └── Resolver.java │ ├── javagen/ │ │ └── src/ │ │ └── main/ │ │ └── java/ │ │ └── org/ │ │ └── dhallj/ │ │ └── javagen/ │ │ ├── Code.scala │ │ ├── ToCodeVisitor.scala │ │ └── package.scala │ ├── jawn/ │ │ └── src/ │ │ ├── main/ │ │ │ └── scala/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ └── jawn/ │ │ │ ├── FacadeHandler.scala │ │ │ └── JawnConverter.scala │ │ └── test/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── jawn/ │ │ └── JawnConverterSuite.scala │ ├── parser/ │ │ ├── BUILD │ │ └── src/ │ │ ├── main/ │ │ │ ├── java/ │ │ │ │ └── org/ │ │ │ │ └── dhallj/ │ │ │ │ └── parser/ │ │ │ │ ├── DhallParser.java │ │ │ │ └── support/ │ │ │ │ ├── Comment.java │ │ │ │ ├── LetBinding.java │ │ │ │ ├── OperatorPrecedenceTable.java │ │ │ │ ├── Parser.java │ │ │ │ ├── ParsingHelpers.java │ │ │ │ ├── WhitespaceManager.java │ │ │ │ └── package-info.java │ │ │ └── javacc/ │ │ │ └── JavaCCParser.jj │ │ └── test/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── parser/ │ │ └── DhallParserSuite.scala │ ├── prelude/ │ │ └── src/ │ │ └── main/ │ │ └── java/ │ │ └── org/ │ │ └── dhallj/ │ │ └── prelude/ │ │ └── Prelude.java │ ├── scala/ │ │ └── src/ │ │ └── main/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── syntax/ │ │ └── package.scala │ ├── scala-codec/ │ │ └── src/ │ │ ├── main/ │ │ │ └── scala/ │ │ │ └── org/ │ │ │ └── dhallj/ │ │ │ └── codec/ │ │ │ ├── Decoder.scala │ │ │ ├── DecodingFailure.scala │ │ │ ├── Encoder.scala │ │ │ └── syntax/ │ │ │ └── package.scala │ │ └── test/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── codec/ │ │ └── DecoderSuite.scala │ ├── testing/ │ │ └── src/ │ │ └── main/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── testing/ │ │ ├── ArbitraryInstances.scala │ │ ├── WellTypedExpr.scala │ │ └── package.scala │ └── yaml/ │ └── src/ │ ├── main/ │ │ └── java/ │ │ └── org/ │ │ └── dhallj/ │ │ └── yaml/ │ │ ├── YamlContext.java │ │ ├── YamlConverter.java │ │ └── YamlHandler.java │ └── test/ │ └── scala/ │ └── org/ │ └── dhallj/ │ └── yaml/ │ └── YamlConverterSuite.scala ├── project/ │ ├── build.properties │ └── plugins.sbt ├── scalastyle-config.xml ├── tests/ │ └── src/ │ ├── main/ │ │ └── scala/ │ │ └── org/ │ │ └── dhallj/ │ │ └── tests/ │ │ ├── HaskellDhall.scala │ │ └── acceptance/ │ │ ├── AcceptanceFailureSuite.scala │ │ ├── AcceptanceSuccessSuite.scala │ │ ├── AcceptanceSuite.scala │ │ └── ImportResolutionSuite.scala │ └── test/ │ ├── resources/ │ │ └── learndhall.dhall │ └── scala/ │ └── org/ │ └── dhallj/ │ └── tests/ │ ├── BinaryDecodingTests.scala │ ├── ImportResolutionSuite.scala │ ├── JsonConverterSuite.scala │ ├── MiscSuite.scala │ ├── PreludeSuite.scala │ ├── ToStringSuite.scala │ └── acceptance/ │ └── AcceptanceSuites.scala └── version.sbt