edwinb/Idris2-boot

Issues

• Integers > 2^31-1 getting mangled during parsing/compiling

  #345 opened 5 years ago by cypheon
  2

• Interface resolution bug

  #356 opened 5 years ago by nickdrozd
  5

• First class byte array support

  #378 opened 5 years ago by Riateche
  3

• SegmentFault on String

  #379 opened 5 years ago by andylokandy
  1

• Multiplicity subtyping with dependent types can break linearity

  #357 opened 5 years ago by KyleDavidE
  2

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

  #375 opened 5 years ago by LeifW
  1

• the type `xs ++ [] = xs` fails to compile

  #372 opened 5 years ago by rgrover
  3

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

  #368 opened 5 years ago by mokshasoft
  1

• case-split fails on private definition in nested namespace

  #363 opened 5 years ago by MarcelineVQ
  0

• linear lambda claims to consume unrelated binder

  #364 opened 5 years ago by MarcelineVQ
  5

• unable to replace a value of type `False=True` with `impossible`

  #365 opened 5 years ago by rgrover
  4

• Laziness subtyping(?) unsound

  #360 opened 5 years ago by ziman
  0

• Adding variable to compileExpr in Chicken CG stops chicken from produing binaries

  #351 opened 5 years ago by mokshasoft
  6

• find-ipkg doesn't load the ipkg dependencies

  #349 opened 5 years ago by berewt
  1

• problem with Prelude

  #289 opened 5 years ago by vfrinken
  10

• Proof search produces ill-typed terms

  #355 opened 5 years ago by ziman
  0

• Browsable source code

  #294 opened 5 years ago by jeetu7
  5

• Incorrect reduction of pattern matching

  #346 opened 5 years ago by ziman
  4

• `Nat` too slow in the evaluator

  #338 opened 5 years ago by rgrover
  11

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

  #344 opened 5 years ago by wurmli
  0

• JavaScript backend

  #276 opened 5 years ago by maxdeviant
  7

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

  #341 opened 5 years ago by rgrover
  0

• Implicits in Interface Functions cause Typecheck Error

  #336 opened 5 years ago by fabianhjr
  5

• Typo in LambdaLift AST

  #325 opened 5 years ago by evertedsphere
  3

• Segfault in LinearCheck and two other issues

  #304 opened 5 years ago by timsueberkrueb
  5

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

  #326 opened 5 years ago by shmish111
  3

• can't test because can't find contrib

  #321 opened 5 years ago by shmish111
  12

• inference in case requires extra let

  #328 opened 5 years ago by shmish111
  3

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

  #327 opened 5 years ago by shmish111
  2

• Can't unify an interface with its instance

  #330 opened 5 years ago by berewt
  0

• case in a lambda is broken

  #324 opened 5 years ago by MarcelineVQ
  0

• Error `[no locals in scope]` for interface constants on Equality.

  #303 opened 5 years ago by fabianhjr
  1

• feature request: constructor only/wildcard pattern matches

  #320 opened 5 years ago by MarcelineVQ
  0

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

  #313 opened 5 years ago by fabianhjr
  1

• Messing up parameters order of interfaces implementation

  #319 opened 5 years ago by berewt
  0

• Duplicate pattern cases have an unclear error message

  #315 opened 5 years ago by MarcelineVQ
  0

• "record {elem_name} record_name" to access elements in a record

  #288 opened 5 years ago by vfrinken
  5

• Ambigous Implementations when using `using` on a constrainted interface implementation

  #307 opened 5 years ago by fabianhjr
  0

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

  #306 opened 5 years ago by fabianhjr
  3

• Local definitions in irrelevant definitions are incorrectly checked for relevance

  #302 opened 5 years ago by ohad
  4

• Named Implementations aren't found by other Implementations with using clause

  #291 opened 5 years ago by fabianhjr
  5

• Automated Documentation generation from source code.

  #295 opened 5 years ago by jeetu7
  1

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

  #297 opened 5 years ago by malte-v
  2

• Delimiters of comments are not properly detected

  #279 opened 5 years ago by vfrinken
  2

• Idris2 starts ignoring all Frex sources after a certain point

  #301 opened 5 years ago by ohad
  3

• link error building idris2.ipkg

  #300 opened 5 years ago by alrunner4
  1

• chez010 test fails with libcb.so cannot open shared object file

  #285 opened 5 years ago by locallycompact
  5

• Missing functionality: impossibility assertions in pattern-matching anonymous functions

  #275 opened 5 years ago by vfrinken
  4

• Add option to dump CompileExpr in a standard, parseable format

  #278 opened 5 years ago by evertedsphere
  2

• Record, parameters, interface, and implementation declarations ignore `%unbound_implicits off`

  #269 opened 5 years ago by ohad
  2