Issues

• First class byte array support

  Feature request
  edwinb/Idris2-boot#378 · Filter by author Riateche opened on May 15, 2020
  3

• Build error: Can't disambiguate name: Main.yprefix, YafflePaths.yprefix

  Installation Issue
  edwinb/Idris2-boot#375 · Filter by author LeifW opened on May 15, 2020
  1

• Can't pass argument of type %World to foreign function

  edwinb/Idris2-boot#368 · Filter by author mokshasoft opened on May 12, 2020
  1

• linear lambda claims to consume unrelated binder

  edwinb/Idris2-boot#364 · Filter by author MarcelineVQ opened on May 11, 2020
  5

• case-split fails on private definition in nested namespace

  Confirmed bug
  edwinb/Idris2-boot#363 · Filter by author MarcelineVQ opened on May 10, 2020

• Multiplicity subtyping with dependent types can break linearity

  edwinb/Idris2-boot#357 · Filter by author KyleDavidE opened on May 8, 2020
  2

• Interface resolution bug

  edwinb/Idris2-boot#356 · Filter by author nickdrozd opened on May 6, 2020
  5

• Proof search produces ill-typed terms

  edwinb/Idris2-boot#355 · Filter by author ziman opened on May 6, 2020

• Incorrect reduction of pattern matching

  edwinb/Idris2-boot#346 · Filter by author ziman opened on May 2, 2020
  4

• Issue with hints and search space: Can't find implementation

  edwinb/Idris2-boot#344 · Filter by author wurmli opened on Apr 30, 2020

• 'addclause' client command fails to produce a meaningful definition for helpers under 'where' blocks

  edwinb/Idris2-boot#341 · Filter by author rgrover opened on Apr 29, 2020

• Implicits in Interface Functions cause Typecheck Error

  edwinb/Idris2-boot#336 · Filter by author fabianhjr opened on Apr 29, 2020
  5

• Can't unify an interface with its instance

  edwinb/Idris2-boot#330 · Filter by author berewt opened on Apr 27, 2020

• inference in case requires extra let

  edwinb/Idris2-boot#328 · Filter by author shmish111 opened on Apr 26, 2020
  3

• type inference on record update in let doesn't work based on RHS

  edwinb/Idris2-boot#327 · Filter by author shmish111 opened on Apr 26, 2020
  2

• one type annotation in let means all other definitions must have type annotation

  edwinb/Idris2-boot#326 · Filter by author shmish111 opened on Apr 26, 2020
  3

• case in a lambda is broken

  edwinb/Idris2-boot#324 · Filter by author MarcelineVQ opened on Apr 25, 2020

• feature request: constructor only/wildcard pattern matches

  Feature request
  edwinb/Idris2-boot#320 · Filter by author MarcelineVQ opened on Apr 25, 2020

• Messing up parameters order of interfaces implementation

  edwinb/Idris2-boot#319 · Filter by author berewt opened on Apr 24, 2020

• Duplicate pattern cases have an unclear error message

  edwinb/Idris2-boot#315 · Filter by author MarcelineVQ opened on Apr 23, 2020

• Non-Auto Implicits get Deferred as Holes and not checked on REPL Evaluation

  edwinb/Idris2-boot#313 · Filter by author fabianhjr opened on Apr 22, 2020
  1

• Ambigous Implementations when using using on a constrainted interface implementation

  edwinb/Idris2-boot#307 · Filter by author fabianhjr opened on Apr 22, 2020

• Multiple constrains with unreseolved type parameters on interface declaration cause typecheck issue

  edwinb/Idris2-boot#306 · Filter by author fabianhjr opened on Apr 21, 2020
  3

• Local definitions in irrelevant definitions are incorrectly checked for relevance

  edwinb/Idris2-boot#302 · Filter by author ohad opened on Apr 21, 2020
  4

• Using the arrow keys in the REPL should cycle through recently used commands

  Feature request
  edwinb/Idris2-boot#297 · Filter by author malte-v opened on Apr 18, 2020
  2