Issues

• change to racket broke this package

  lexi-lambda/hackett#105 · Filter by author rfindler opened on Sep 10, 2025

• Current Status

  lexi-lambda/hackett#98 · Filter by author arunvickram opened on Jul 7, 2019
  2

• Please add the racket topic to this repo

  lexi-lambda/hackett#97 · Filter by author spdegabrielle opened on Jun 4, 2019

• Auto-derived Show instance not terminating

  bug
  lexi-lambda/hackett#92 · Filter by author fiddlerwoaroof opened on Oct 17, 2018
  2

• Internal error when typechecking malformed forall clause

  bug
  lexi-lambda/hackett#91 · Filter by author patrickt opened on Oct 3, 2018
  3

• scribble/manual

  lexi-lambda/hackett#90 · Filter by author bennn opened on Jul 10, 2018
  1

• Infinite loop while resolving instances

  bug
  lexi-lambda/hackett#89 · Filter by author AlexKnauth opened on Jul 6, 2018
  3

• Allow a macro to "reset" the elaborator and do all the elaboration passes within itself

  lexi-lambda/hackett#87 · Filter by author AlexKnauth opened on Jul 3, 2018
  4

• Expression type annotation vs. Declaration type annotation

  lexi-lambda/hackett#73 · Filter by author AlexKnauth opened on May 17, 2018
  6

• Rigid vars allowed to escape their scope

  bug
  lexi-lambda/hackett#70 · Filter by author iitalics opened on May 10, 2018
  3

• Slow typechecking due to linear search in type context

  bug
  lexi-lambda/hackett#62 · Filter by author michaelballantyne opened on Feb 15, 2018
  3

• Proposal: a macro DSL based on bidirectional type checking

  lexi-lambda/hackett#61 · Filter by author gelisam opened on Jan 14, 2018
  2

• Full-program doc examples?

  lexi-lambda/hackett#57 · Filter by author jackfirth opened on Nov 24, 2017

• Built-in n-tuple type

  feature
  lexi-lambda/hackett#54 · Filter by author lexi-lambda opened on Nov 7, 2017

• Strict Evaluation

  feature
  lexi-lambda/hackett#52 · Filter by author joe9 opened on Nov 3, 2017
  1

• Proposal: macro expressions instead of macro bindings

  lexi-lambda/hackett#51 · Filter by author gelisam opened on Nov 3, 2017
  5

• #:minimal option for typeclasses

  feature
  lexi-lambda/hackett#44 · Filter by author lexi-lambda opened on Oct 14, 2017

• GHCI-esque toplevel

  feature
  lexi-lambda/hackett#42 · Filter by author Shamrock-Frost opened on Oct 10, 2017

• Racket/Hackett FFI + contract generation

  feature
  lexi-lambda/hackett#31 · Filter by author lexi-lambda opened on May 31, 2017

• Add CONTRIBUTING information

  lexi-lambda/hackett#29 · Filter by author lexi-lambda opened on May 28, 2017 · 0.1
  

• Prevention of overlapping instances

  feature
  lexi-lambda/hackett#26 · Filter by author lexi-lambda opened on May 25, 2017 · 0.1

• Detection/prevention of orphan instances

  feature
  lexi-lambda/hackett#25 · Filter by author lexi-lambda opened on May 25, 2017 · 0.1

• Simple way to help?

  question
  lexi-lambda/hackett#24 · Filter by author joelmccracken opened on May 24, 2017
  1

• Feature: implied parentheses

  feature
  lexi-lambda/hackett#22 · Filter by author deepfire opened on May 15, 2017
  3

• What is the type signature of apply?

  question
  lexi-lambda/hackett#20 · Filter by author AnthonyJacob opened on Mar 19, 2017
  1