yeslogic / fathom

🚧 (Alpha stage software) A declarative data definition language for formally specifying binary data formats. 🚧

yeslogic/fathom Issues

Incorrect elaboration of record literals?
Updated 9 months ago
Question: Comparison with Kaitai?
Updated a year ago4
Separate name resolution from elaboration
Closed a year ago5
Implementation annoyances
Updated a year ago1
Global string interner
Closed a year ago8
Multiple modules
Updated a year ago1
Distillation crashes in some cases
Updated a year ago1
OpenType data description
Updated a year ago
Lazy evaluation
Updated a year ago6
Refinement types
Updated a year ago1
Add documentation for implicit arguments
Closed a year ago1
Compile time benchmarks in CI?
Updated a year ago1
How to handle names in patterns
Updated a year ago3
Inconsistency between tuple types and record types
Closed a year ago
Remove Type-in-Type
Updated a year ago1
Semantic Interpretation Revisited
Updated a year ago
Let formats
Updated 2 years ago2
Sum types?
Updated 2 years ago4
Inconsistency between synthesised function literals and checked function literals
Closed 2 years ago1
Implement surface syntax for a selection of binary operators.
Closed 2 years ago4
Sugar for multi parameter functions
Closed 2 years ago2
Improve errors for erroneous function applications
Closed 2 years ago
Challenges arising from the OpenType `glyf` table
Updated 2 years ago2
stress.fathom causes stack overflow on Windows
Updated 2 years ago2
Top-level items
Closed 2 years ago
Sugar for guarded fields in record formats
Closed 2 years ago
Conditional formats
Closed 2 years ago
Pretty print type information in elaboration diagnostics
Closed 2 years ago1
Cover more unification codepaths in the testsuite
Updated 2 years ago
Constrained representation types
Updated 2 years ago3
Sequences of unspecified length
Updated 2 years ago
Add hints to `Const`s to improve the distillation of integer constants
Closed 2 years ago8
Check for duplicate patterns in match
Closed 2 years ago
Provide a way to specify how decoded binary data should be rendered
Updated 2 years ago2
Snapshot verification fails on Windows
Updated 2 years ago3
Test error messages in tests that are expected to fail
Closed 2 years ago1
Bit flags
Updated 2 years ago
Builtin operators
Closed 2 years ago
Simplify diagnostics in the core type checker
Closed 2 years ago1
Implement string and character literals
Closed 2 years ago1
Implement functions
Closed 2 years ago
Dependent function types
Closed 2 years ago
Parameterised struct formats
Closed 3 years ago
Add the ability to mark a 'root' format
Closed 3 years ago3
Create top-level compiler API
Closed 3 years ago1
Positions and links
Closed 3 years ago1
Implement interpreted binary writer
Updated 3 years ago
Switch to an explicitly typed core language
Updated 3 years ago
Switch to uncurried functions
Updated 3 years ago
Array terms
Closed 3 years ago