Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / yeslogic/fathom issues and pull requests

#508 - Fix record/tuple literal elaboration

Pull Request - State: open - Opened by Kmeakin about 1 year ago

#507 - Incorrect elaboration of record literals?

Issue - State: open - Opened by Kmeakin about 1 year ago

#506 - Question: Comparison with Kaitai?

Issue - State: open - Opened by rljacobson over 1 year ago - 4 comments

#505 - build: Fix larlpop dependency

Pull Request - State: open - Opened by jtojnar over 1 year ago

#503 - Improve diagnostic messages for errors in elaborating fun apps

Pull Request - State: open - Opened by Kmeakin over 1 year ago

#502 - Remove `Array8`, `Array16` and `Array32` types

Pull Request - State: open - Opened by Kmeakin over 1 year ago - 1 comment

#501 - Improve binop elaboration in synth mode

Pull Request - State: open - Opened by Kmeakin over 1 year ago

#500 - Scope each metavar to the definition where it was generated

Pull Request - State: open - Opened by Kmeakin over 1 year ago

#499 - Use `usize` instead of `u16` for vars

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#498 - [Experiment] Extract name resolution to a separate pass

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#497 - Separate name resolution from elaboration

Issue - State: closed - Opened by Kmeakin over 1 year ago - 5 comments

#496 - Make it easier to distill/pretty print values

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#495 - Cleanup `surface::elaboration`

Pull Request - State: open - Opened by Kmeakin over 1 year ago

#494 - Cleanup distillation

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#493 - Fix exponential complexity in `core::pretty`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#492 - Make string interner global

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 2 comments

#491 - Global string interner

Issue - State: closed - Opened by Kmeakin over 1 year ago - 8 comments

#490 - Record field shorthands

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#489 - Multiple modules

Issue - State: open - Opened by brendanzab over 1 year ago - 1 comment

#488 - Implementation annoyances

Issue - State: open - Opened by brendanzab over 1 year ago - 1 comment

#487 - Check binops

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#486 - Check binops

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#485 - Distillation crashes in some cases

Issue - State: open - Opened by Kmeakin over 1 year ago - 1 comment

#484 - OpenType data description

Issue - State: open - Opened by brendanzab over 1 year ago

#483 - Optimise `surface::pretty`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 2 comments

#482 - Add `CollectIntoScope` trait

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 5 comments

#481 - Parameterize prims by their numeric type and endianness

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 2 comments

#480 - Use `Self` in place of explicit type names where possible

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#479 - Use explicit type names in place of `Self` where possible

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#478 - Bump to rust v1.67

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#477 - Rewrite pretty printer

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 2 comments

#476 - Lazy evaluation

Pull Request - State: open - Opened by Kmeakin over 1 year ago - 3 comments

#475 - Move precedence logic into `distillation`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#474 - Make parenthesized terms explicit in the surface AST

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#473 - Replace all spellings of `-ise` with `-ize`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#472 - Use `SymbolU32` instead of `SymbolU16`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#471 - Lazy evaluation

Issue - State: open - Opened by Kmeakin over 1 year ago - 6 comments

#470 - Rename array formats to `repeat_len{8|16|32|64}`

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#469 - Add `letrec` terms

Pull Request - State: open - Opened by Kmeakin over 1 year ago - 4 comments

#468 - Slicevec cleanup

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#467 - Update `scoped-arena` from `0.3.0` to `0.4.1`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#466 - Update `scoped-arena` from `0.3` to `0.4.1`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 3 comments

#465 - Introduce a smart constructor around `String` for input sources

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#464 - Use `Iterator::try_fold` instead of `fold` when renaming terms

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 2 comments

#463 - Update roadmap

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#462 - Avoid unnecessary quotation in elaboration

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#460 - Suggest a similar name when reporting UnboundName or UnknownField

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#459 - Distill metavariables to named terms

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#458 - Avoid item names

Pull Request - State: closed - Opened by brendanzab over 1 year ago - 2 comments

#457 - Fix stable vs. nightly comment formatting

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#456 - Use `ByteRange` instead of `FileRange` in surface AST

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#455 - Use lexer modes to parse block comments

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#454 - Sort and group imports consistently

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#453 - Implicit function cleanups

Pull Request - State: closed - Opened by brendanzab over 1 year ago - 1 comment

#452 - Use multiplication operator in README example

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#451 - Add `absurd`, the eliminator for `Void`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#450 - Document implicit arguments in the reference

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#449 - Use implicit parameters in primitives and opentype format

Pull Request - State: closed - Opened by brendanzab over 1 year ago - 1 comment

#448 - Add documentation for implicit arguments

Issue - State: closed - Opened by brendanzab over 1 year ago - 1 comment

#447 - Rename `ByteRange` to `FileRange`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#446 - Upgrade some dependencies

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#445 - Improve command printing in test failures

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#444 - Wrap comments at 80 characters

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#443 - Reduce size of `ByteRange` and `Span`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#442 - Move alphabetic name creation into string interner

Pull Request - State: closed - Opened by brendanzab over 1 year ago

#441 - Remove unecessary `push_item` from distillation

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#440 - Fix ordering of `expected` and `found` types in elaboration::convert

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#439 - Implicit args

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 4 comments

#438 - Lex raw identifiers

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#437 - Use raw identifiers in LALRPOP grammar

Pull Request - State: closed - Opened by Kmeakin over 1 year ago

#436 - Apply `cargo clippy --fix` and `cargo fmt`

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#435 - Replace all used occurances of `_` with fresh names

Pull Request - State: closed - Opened by Kmeakin over 1 year ago - 1 comment

#434 - Allow `TestMode` to be set per-file by config comments

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#433 - Lex block comments

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#432 - Compile time benchmarks in CI?

Issue - State: open - Opened by Kmeakin almost 2 years ago - 1 comment

#431 - Add some missing spaces to the core pretty printer

Pull Request - State: closed - Opened by wezm almost 2 years ago

#430 - Record/tuple patterns and new pattern match compiler and coverage checker

Pull Request - State: open - Opened by Kmeakin almost 2 years ago - 6 comments

#429 - Apply clippy suggestions

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 1 comment

#428 - Implement `Eq` and `Ord` for `Const`

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#427 - Reserve extra capacity upfront in more places

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#426 - Remove useless copies

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#425 - Fix clippy warnings

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#424 - Upgrade to Rust 2021 edition

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#423 - Add pretty printer for core language

Pull Request - State: closed - Opened by wezm almost 2 years ago - 1 comment

#422 - Fix issue #421

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 2 comments

#421 - Inconsistency between tuple types and record types

Issue - State: closed - Opened by Kmeakin almost 2 years ago

#420 - Semantic Interpretation Revisited

Issue - State: open - Opened by mikeday almost 2 years ago

#419 - Preserve name of default branch in `core::Term::ConstMatch`

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 1 comment

#418 - Some tweaks to tuple distillation

Pull Request - State: closed - Opened by brendanzab almost 2 years ago - 2 comments

#417 - Switch to an explicitly typed core language

Pull Request - State: open - Opened by brendanzab almost 2 years ago - 3 comments

#416 - Cleanups to variable handling in semantics

Pull Request - State: closed - Opened by brendanzab almost 2 years ago

#415 - Update roadmap

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago

#414 - Unify constant matches

Pull Request - State: closed - Opened by brendanzab almost 2 years ago - 3 comments

#409 - Record and tuple patterns

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 2 comments

#407 - Add tuple syntax sugar for records

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 3 comments

#404 - Add some assertions that all `Term`s produced by elaboration and quotatation are well-scoped

Pull Request - State: closed - Opened by Kmeakin almost 2 years ago - 1 comment

#367 - Let formats

Issue - State: open - Opened by brendanzab over 2 years ago - 2 comments