Issues

• Augment inliner to make use of annotations

  CakeML/pure#75 · Filter by author hrutvik opened on Feb 9, 2024 · Inlining extensions

• Handle loop unrolling in inlining relation

  CakeML/pure#74 · Filter by author hrutvik opened on Feb 9, 2024 · Inlining extensions

• Extend PureLang cexp with annotations

  CakeML/pure#73 · Filter by author hrutvik opened on Feb 9, 2024 · Inlining extensions
  1

• Handle user-defined inlining annotations in concrete syntax

  CakeML/pure#72 · Filter by author hrutvik opened on Feb 9, 2024 · Inlining extensions
  1

• Unverified binary generation

  enhancement
  CakeML/pure#70 · Filter by author hrutvik opened on Oct 12, 2023

• Top-level proofs for TypeClassLang

  CakeML/pure#65 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes

• Compilation of TypeClassLang

  CakeML/pure#64 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes

• Type inference for TypeClassLang

  CakeML/pure#63 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes

• Semantics for TypeClassLang

  CakeML/pure#62 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes

• Typing rules for TypeClassLang

  CakeML/pure#61 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes

• Parsing for TypeClassLang

  CakeML/pure#60 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes
  1

• Designing TypeClassLang

  CakeML/pure#59 · Filter by author hrutvik opened on Sep 26, 2023 · Type classes
  1

• Desugaring of Case

  enhancement
  CakeML/pure#58 · Filter by author hrutvik opened on Sep 21, 2023
  1

• Remove apply_closure from semantics

  enhancement
  CakeML/pure#56 · Filter by author hrutvik opened on Jul 6, 2023 · Refactoring and clean-up

• Strategy for inventing fresh names

  back endenhancement
  CakeML/pure#55 · Filter by author hrutvik opened on Jul 4, 2023 · Refactoring and clean-up

• Preconditions in compiler translation

  bug
  CakeML/pure#54 · Filter by author hrutvik opened on Jul 4, 2023

• GADTs

  enhancementfront end
  CakeML/pure#53 · Filter by author hrutvik opened on Jun 23, 2023

• Type synonyms

  enhancementfront end
  CakeML/pure#52 · Filter by author hrutvik opened on Jun 23, 2023

• Underscore variable names

  enhancementfront end
  CakeML/pure#51 · Filter by author hrutvik opened on Jun 23, 2023

• Pattern matching improvements

  enhancementfront end
  CakeML/pure#50 · Filter by author hrutvik opened on Jun 23, 2023

• Record types

  enhancementfront end
  CakeML/pure#49 · Filter by author hrutvik opened on Jun 23, 2023
  1

• Error reporting

  enhancementfront end
  CakeML/pure#48 · Filter by author hrutvik opened on Jun 23, 2023

• Eager variables in Pure -> Thunk

  back endenhancement
  CakeML/pure#47 · Filter by author hrutvik opened on Jun 23, 2023

• Type classes

  enhancementfront end
  CakeML/pure#46 · Filter by author hrutvik opened on Jun 23, 2023 · Type classes
  2

• Tidy PureLang's equational theory

  CakeML/pure#45 · Filter by author hrutvik opened on Jun 23, 2023 · Refactoring and clean-up