Issues

• Take parameter types from declaration

  hkust-taco/mlscript#559 · Filter by author Derppening opened on Sep 15, 2026
  1

  

• Lifter: Determine whether captureSyms can be more specifically typed

  hkust-taco/mlscript#556 · Filter by author Derppening opened on Sep 10, 2026
  

• Verify that all downcasts are represented by a Cast node

  hkust-taco/mlscript#551 · Filter by author Derppening opened on Aug 22, 2026
  1

• Store an array's element type in ErasedType

  hkust-taco/mlscript#550 · Filter by author Derppening opened on Aug 22, 2026

• Add CheckedCastExpansion pass

  hkust-taco/mlscript#549 · Filter by author Derppening opened on Aug 22, 2026

• Allow let bindings to take a type annotation

  hkust-taco/mlscript#547 · Filter by author Derppening opened on Aug 22, 2026
  1

• Investigate code duplication in UCS/UPS compilation

  pattern matchingto revisit
  Task

  hkust-taco/mlscript#538 · Filter by author chengluyu opened on Jun 30, 2026
  

• Tail-recursion optimization and @tailrec annotation fails in important cases

  enhancementpattern matchingtailrec
  Bug

  hkust-taco/mlscript#435 · Filter by author LPTK opened on Apr 1, 2026
  7

  

• Mismatch between semantics of compiled and interpreted patterns

  Bug

  hkust-taco/mlscript#422 · Filter by author LPTK opened on Mar 21, 2026
  

• Module traits tracking issue

  Task

  hkust-taco/mlscript#333 · Filter by author LPTK opened on Aug 29, 2025
  

• Miscellaneous features and fixes to implement

  enhancementgood first issuehelp wanted
  Task

  hkust-taco/mlscript#312 · Filter by author LPTK opened on Jun 7, 2025

• Deforestation (tracking issue)

  Task

  hkust-taco/mlscript#304 · Filter by author ychenfo opened on Apr 28, 2025

• Fix lifter problems

  Task

  hkust-taco/mlscript#285 · Filter by author LPTK opened on Feb 22, 2025
  4

  

• [BbML] Address comments in #260

  Task

  hkust-taco/mlscript#284 · Filter by author LPTK opened on Feb 22, 2025
  

• Reorder simple classes and require let class on the others

  missing implementation
  Task

  hkust-taco/mlscript#278 · Filter by author LPTK opened on Feb 12, 2025

• Resolver & Type Classes Tracking Issue

  hkust-taco/mlscript#272 · Filter by author flandia opened on Feb 7, 2025

• Effect handlers (tracking issue)

  documentationeffect-handlersenhancement
  Task

  hkust-taco/mlscript#263 · Filter by author LPTK opened on Jan 22, 2025
  

• Improve debugability of generated JS code

  hkust-taco/mlscript#228 · Filter by author LPTK opened on Nov 4, 2024
  

• Quasiquote syntax support

  feature
  hkust-taco/mlscript#211 · Filter by author NeilKleistGao opened on Feb 16, 2024
  2

  

• Infinite loop in expanding abstract class with self type

  good intermediate issuemissing implementation
  hkust-taco/mlscript#209 · Filter by author Meowcolm024 opened on Feb 7, 2024
  4

• Some generic object types are not lattice homomorphisms and those which are should not be forall-distributivity targets

  soundness
  hkust-taco/mlscript#207 · Filter by author LPTK opened on Jan 12, 2024

• Wrong mixin typing

  hkust-taco/mlscript#193 · Filter by author andongfan opened on Nov 23, 2023

• Add enumerated types (not ADTs)

  feature
  hkust-taco/mlscript#158 · Filter by author LPTK opened on Mar 15, 2023

• UCS/UPS tracking issue

  enhancement
  hkust-taco/mlscript#151 · Filter by author LPTK opened on Nov 22, 2022
  15

  

• Type errors in class definitions are swallowed in the web demo

  bugweb-demo
  hkust-taco/mlscript#147 · Filter by author LPTK opened on Oct 13, 2022