yeslogic/fathom

Issues

• Copy-paste error in comment-description of `cmap_subtable_format4` field `entry_selector`

  #509 opened 2 months ago by archaephyrryx
  0

• Incorrect elaboration of record literals?

  #507 opened a year ago by Kmeakin
  0

• Question: Comparison with Kaitai?

  #506 opened a year ago by rljacobson
  4

• Separate name resolution from elaboration

  #497 opened 2 years ago by Kmeakin
  5

• Implementation annoyances

  #488 opened 2 years ago by brendanzab
  1

• Global string interner

  #491 opened 2 years ago by Kmeakin
  8

• Multiple modules

  #489 opened 2 years ago by brendanzab
  1

• Distillation crashes in some cases

  #485 opened 2 years ago by Kmeakin
  1

• OpenType data description

  #484 opened 2 years ago by brendanzab
  0

• Lazy evaluation

  #471 opened 2 years ago by Kmeakin
  6

• Refinement types

  #258 opened 4 years ago by brendanzab
  1

• Add documentation for implicit arguments

  #448 opened 2 years ago by brendanzab
  1

• Compile time benchmarks in CI?

  #432 opened 2 years ago by Kmeakin
  1

• How to handle names in patterns

  #341 opened 3 years ago by wezm
  3

• Inconsistency between tuple types and record types

  #421 opened 2 years ago by Kmeakin
  0

• Remove Type-in-Type

  #316 opened 3 years ago by brendanzab
  1

• Semantic Interpretation Revisited

  #420 opened 2 years ago by mikeday
  0

• Let formats

  #367 opened 2 years ago by brendanzab
  2

• Sum types?

  #411 opened 2 years ago by Kmeakin
  4

• Inconsistency between synthesised function literals and checked function literals

  #408 opened 2 years ago by Kmeakin
  1

• Implement surface syntax for a selection of binary operators.

  #317 opened 2 years ago by brendanzab
  4

• Sugar for multi parameter functions

  #335 opened 2 years ago by brendanzab
  2

• Improve errors for erroneous function applications

  #331 opened 2 years ago by brendanzab
  0

• Challenges arising from the OpenType `glyf` table

  #394 opened 2 years ago by mikeday
  2

• stress.fathom causes stack overflow on Windows

  #325 opened 3 years ago by wezm
  2

• Top-level items

  #318 opened 2 years ago by brendanzab
  0

• Sugar for guarded fields in record formats

  #368 opened 2 years ago by brendanzab
  0

• Conditional formats

  #339 opened 2 years ago by brendanzab
  0

• Pretty print type information in elaboration diagnostics

  #346 opened 3 years ago by brendanzab
  1

• Cover more unification codepaths in the testsuite

  #356 opened 3 years ago by brendanzab
  0

• Constrained representation types

  #354 opened 3 years ago by brendanzab
  3

• Sequences of unspecified length

  #352 opened 3 years ago by wezm
  0

• Add hints to `Const`s to improve the distillation of integer constants

  #328 opened 3 years ago by brendanzab
  8

• Check for duplicate patterns in match

  #340 opened 3 years ago by wezm
  0

• Provide a way to specify how decoded binary data should be rendered

  #329 opened 3 years ago by brendanzab
  2

• Snapshot verification fails on Windows

  #326 opened 3 years ago by wezm
  3

• Test error messages in tests that are expected to fail

  #312 opened 3 years ago by wezm
  1

• Bit flags

  #319 opened 3 years ago by wezm
  0

• Builtin operators

  #257 opened 3 years ago by brendanzab
  0

• Simplify diagnostics in the core type checker

  #262 opened 3 years ago by brendanzab
  1

• Implement string and character literals

  #290 opened 3 years ago by brendanzab
  1

• Implement functions

  #289 opened 3 years ago by brendanzab
  0

• Dependent function types

  #281 opened 3 years ago by brendanzab
  0

• Parameterised struct formats

  #255 opened 4 years ago by brendanzab
  0

• Add the ability to mark a 'root' format

  #276 opened 4 years ago by brendanzab
  3

• Create top-level compiler API

  #261 opened 4 years ago by toothbrush
  1

• Positions and links

  #259 opened 4 years ago by brendanzab
  1

• Implement interpreted binary writer

  #271 opened 4 years ago by brendanzab
  0

• Switch to an explicitly typed core language

  #270 opened 4 years ago by brendanzab
  0

• Switch to uncurried functions

  #269 opened 4 years ago by brendanzab
  0