~singpolyma/dhall-ruby

ref: aeb527347da06239743c9d1c720d220eb281770f dhall-ruby/.rubocop.yml -rw-r--r-- 1.8 KiB
Prefer implicit rescue StandardError
Map types are generic
Allow unannotated format string tokens
Tests can be long and procedure like
Default max import depth of 50

So even without a timeout, there is a limit on bonkers cases.

Standard resolver defaults to INIFINTY since the standard does not
define a depth limit.
Add grab-bag of useful utils onto expressions
Add as_dhall refinement
Allow self-describing CBOR
Switch to registry pattern for TypeChecker.for
If trying to import from IPFS, fallback to gateway
Tests are long for good reasons
Generic subexpression_map

Make every Expression a ValueSemantics and use the known list of
attributes to map generically over any AST node.

Introduces a conditional, but removes boilerplate from every single
class.
Alpha normalization

Internal flag to disable for acceptance tests from the standard (which
assume beta-only normalization in some cases).  Otherwise, just always
alpha normalize as we go.
Implement many builtins and do Optional section
Start to implement normalization rules
Decoding Dhall from binary works