edwinb/idris2-boot issues and pull requests

#100 - Build instructions & path variables "Prelude not found"

Issue - State: closed - Opened by cheery about 5 years ago - 3 comments
Labels: Installation Issue

#99 - remove another message to make network tests more reliable

Pull Request - State: closed - Opened by abailly about 5 years ago - 2 comments

#98 - code golfing

Pull Request - State: closed - Opened by clayrat about 5 years ago - 1 comment

#97 - Fixed #!/usr/bin/env shebang for Chez backend

Pull Request - State: closed - Opened by lodi about 5 years ago - 1 comment

#96 - Add version command

Pull Request - State: closed - Opened by symbiont-arnaud-bailly about 5 years ago - 4 comments

#95 - Idris crashes with "Uncaught error: Error in TTC file: Corrupt TTC data for Name"

Issue - State: closed - Opened by ohad about 5 years ago - 5 comments

#94 - fst has the wrong type

Issue - State: closed - Opened by chuckjaz about 5 years ago - 4 comments

#93 - Type-cheker doesn't normalise

Issue - State: closed - Opened by ohad about 5 years ago - 3 comments

#92 - Incorrect coercion inserted

Issue - State: closed - Opened by ohad about 5 years ago - 5 comments

#91 - Totality annotations are ignored

Issue - State: open - Opened by ohad about 5 years ago - 3 comments

#90 - Added note to INSTALL.md to recommend Mac OS X users install Chez fro…

Pull Request - State: closed - Opened by xoltar about 5 years ago - 2 comments

#89 - Fixes #88: integerToNat hangs for negative integers

Pull Request - State: closed - Opened by chrrasmussen about 5 years ago - 1 comment

#88 - `integerToNat` hangs for negative integers

Issue - State: closed - Opened by shmish111 about 5 years ago - 2 comments

#87 - Error with type-level type-annotated let expression

Issue - State: closed - Opened by ohad about 5 years ago

#86 - Unable to solve constraint with Fin.fromInteger

Issue - State: closed - Opened by Theodus about 5 years ago - 1 comment

#85 - Mismatch

Issue - State: closed - Opened by nicolabotta about 5 years ago - 1 comment
Labels: Confirmed bug

#84 - Tidy up REPL shutdown

Pull Request - State: closed - Opened by akuhlens about 5 years ago - 1 comment

#83 - Infinite loop in the REPL for GenerateDefinition on binary tree

Issue - State: open - Opened by eviefp about 5 years ago - 1 comment
Labels: Confirmed bug

#82 - can't construct pair using applicative

Issue - State: closed - Opened by shmish111 about 5 years ago - 3 comments

#81 - Fix file handle leaks

Pull Request - State: closed - Opened by clayrat about 5 years ago - 1 comment

#80 - Ignore empty lines in REPL

Pull Request - State: closed - Opened by timsueberkrueb about 5 years ago - 1 comment

#79 - can't infer type in where clause

Issue - State: closed - Opened by shmish111 about 5 years ago - 1 comment

#78 - Can't build network library on Windows

Issue - State: open - Opened by zenntenn about 5 years ago - 10 comments
Labels: Installation Issue

#77 - Can't find an implementation

Issue - State: closed - Opened by nicolabotta about 5 years ago - 1 comment
Labels: Confirmed bug

#76 - Ignore build artifacts

Pull Request - State: closed - Opened by ska80 about 5 years ago - 3 comments

#75 - Configurable ide-mode-socket REPL

Pull Request - State: closed - Opened by abailly about 5 years ago - 4 comments

#74 - Interpreter does not clean opened files when loading/reloading files

Issue - State: closed - Opened by abailly about 5 years ago - 8 comments
Labels: Good first issue

#73 - Add output file flag (-o) to CLI

Pull Request - State: closed - Opened by chrrasmussen about 5 years ago - 2 comments

#72 - Print expected and given output when test fails.

Pull Request - State: closed - Opened by jfdm about 5 years ago - 1 comment

#71 - Unexpected run-time complexity

Issue - State: open - Opened by nicolabotta over 5 years ago - 13 comments
Labels: Performance

#70 - Align the IPKG format more with the previous Idris implementation.

Pull Request - State: closed - Opened by jfdm over 5 years ago - 3 comments

#69 - Improve RTD config.

Pull Request - State: closed - Opened by jfdm over 5 years ago - 1 comment

#68 - Cycle detected in solution of metavariable:

Issue - State: open - Opened by nicolabotta over 5 years ago - 3 comments
Labels: Bad error message, Needs a closer look

#67 - Cannot solve constraint: bug or expected behavior

Issue - State: closed - Opened by nicolabotta over 5 years ago - 4 comments

#66 - check noprelude option when starting up without loading a file

Pull Request - State: closed - Opened by abailly over 5 years ago - 1 comment

#65 - Option --no-prelude is not honoured when not loading a file

Issue - State: closed - Opened by abailly over 5 years ago - 1 comment

#64 - Interfaces and records: unexpected behavior

Issue - State: closed - Opened by nicolabotta over 5 years ago - 3 comments

#63 - Using Data.Vect.index too expensive (maybe Fin problem?)

Issue - State: closed - Opened by ysangkok over 5 years ago - 2 comments
Labels: Confirmed bug, Performance

#62 - Nat is not optimized correctly in all cases, leading to run-time error

Issue - State: closed - Opened by chrrasmussen over 5 years ago - 1 comment

#61 - document %cg code generation directive for DLL loading

Pull Request - State: closed - Opened by symbiont-arnaud-bailly over 5 years ago - 3 comments

#60 - Run individual tests (Fixes #23)

Pull Request - State: closed - Opened by chrrasmussen over 5 years ago - 3 comments

#59 - Allow empty modules

Pull Request - State: closed - Opened by clayrat over 5 years ago - 1 comment

#58 - High CPU/memory requirement compiling Vector indexing code

Issue - State: closed - Opened by ysangkok over 5 years ago - 3 comments
Labels: Confirmed bug, Performance

#57 - Implicits (and auto implicits) don't get passed to "with" clauses

Issue - State: closed - Opened by clayrat over 5 years ago - 1 comment
Labels: Confirmed bug

#56 - Implicit lambda arguments

Issue - State: open - Opened by clayrat over 5 years ago - 2 comments
Labels: Feature request

#55 - INTERNAL ERROR: Can't write resolved name

Issue - State: closed - Opened by kevinboulain over 5 years ago - 4 comments
Labels: Bad error message

#54 - Make it a little easier to debug IDE mode

Pull Request - State: closed - Opened by kevinboulain over 5 years ago - 1 comment

#53 - Only display IDE port when listening

Pull Request - State: closed - Opened by kevinboulain over 5 years ago - 2 comments

#52 - Enable CI

Issue - State: closed - Opened by Theodus over 5 years ago - 1 comment

#51 - fix implicit/brace block ambiguity in records

Pull Request - State: closed - Opened by clayrat over 5 years ago - 1 comment

#50 - Auto implicits aren't added to the scope

Issue - State: closed - Opened by clayrat over 5 years ago

#49 - Can't find an implementation for Functor

Issue - State: closed - Opened by nicolabotta over 5 years ago - 2 comments
Labels: Confirmed bug

#48 - Can't have re-exporting modules

Issue - State: closed - Opened by clayrat over 5 years ago - 1 comment
Labels: Good first issue

#47 - Check idris version before building

Pull Request - State: closed - Opened by symbiont-arnaud-bailly over 5 years ago - 8 comments

#46 - Implicit record fields

Issue - State: closed - Opened by clayrat over 5 years ago - 7 comments
Labels: Good first issue

#45 - First draft porting network code from Idris1 to Idris2

Pull Request - State: closed - Opened by symbiont-arnaud-bailly over 5 years ago - 28 comments

#44 - Mismatch: expected behaviour?

Issue - State: closed - Opened by nicolabotta over 5 years ago - 5 comments
Labels: Confirmed bug, Bad error message

#43 - port base.Data.List from Idris1

Pull Request - State: closed - Opened by clayrat over 5 years ago - 1 comment

#42 - Can't solve constraint (interface method issue)

Issue - State: closed - Opened by nicolabotta over 5 years ago - 4 comments
Labels: Confirmed bug

#41 - Can't build on Windows using Idris 1.3.2

Issue - State: closed - Opened by zenntenn over 5 years ago - 8 comments
Labels: Installation Issue

#40 - Add missing double quotes

Pull Request - State: closed - Opened by ska80 over 5 years ago - 1 comment

#39 - Idris 2 should compile itself

Issue - State: closed - Opened by be5invis over 5 years ago - 2 comments
Labels: Feature request

#38 - Document base for exp and log functions

Pull Request - State: closed - Opened by chrrasmussen over 5 years ago - 1 comment

#37 - Fix primitive function for acos

Pull Request - State: closed - Opened by chrrasmussen over 5 years ago - 1 comment

#36 - Auto-search is slow when restricting a heterogenous list to a predicate type

Issue - State: closed - Opened by chrrasmussen over 5 years ago - 3 comments

#35 - Add CI

Pull Request - State: closed - Opened by Theodus over 5 years ago - 11 comments

#34 - Fix typo in README

Pull Request - State: closed - Opened by Theodus over 5 years ago

#33 - Use ahead-of-time compilation with Chez

Pull Request - State: closed - Opened by simonchatts over 5 years ago - 1 comment

#32 - Chez: Exception: variable make-thread-parameter is not bound

Issue - State: closed - Opened by ysangkok over 5 years ago - 2 comments

#31 - add talk video link

Pull Request - State: closed - Opened by diakopter over 5 years ago - 1 comment

#30 - Feature requests and proposals

Issue - State: open - Opened by edwinb over 5 years ago - 1 comment
Labels: Proposal (please add to wiki/mailing list)

#29 - Add option to compile to CLI

Issue - State: closed - Opened by shmish111 over 5 years ago - 1 comment

#28 - Inclusion of Either within Base.

Pull Request - State: closed - Opened by jfdm over 5 years ago - 1 comment

#27 - Add Data.Morphisms to base

Pull Request - State: closed - Opened by shmish111 over 5 years ago - 3 comments

#26 - Undefined name

Issue - State: closed - Opened by nicolabotta over 5 years ago - 2 comments

#25 - Can't use parent constraint in function

Issue - State: closed - Opened by shmish111 over 5 years ago - 9 comments

#24 - Idris freezes when trying to implement Biapplicative Pair

Issue - State: closed - Opened by shmish111 over 5 years ago - 10 comments
Labels: Confirmed bug

#23 - Add a way of running tests individually

Issue - State: closed - Opened by ysangkok over 5 years ago - 3 comments
Labels: Good first issue, Feature request

#22 - Use fgetc instead of getc

Pull Request - State: closed - Opened by PeterHajdu over 5 years ago - 1 comment

#21 - Elm style compiler error messages

Issue - State: closed - Opened by shmish111 over 5 years ago - 1 comment

#20 - New release of Idris1 to hackage to build Idris2

Issue - State: closed - Opened by shmish111 over 5 years ago - 5 comments

#19 - Proposal for FFI

Issue - State: closed - Opened by shmish111 over 5 years ago - 22 comments

#18 - allow running IDE mode on different network interfaces

Pull Request - State: closed - Opened by symbiont-arnaud-bailly over 5 years ago - 10 comments

#17 - weird error when trying to build

Issue - State: closed - Opened by shmish111 over 5 years ago - 10 comments

#16 - Add --clean option for ipkg

Pull Request - State: closed - Opened by clayrat over 5 years ago - 1 comment

#15 - Fix makefile's 'install-exec' target

Pull Request - State: closed - Opened by ska80 over 5 years ago - 1 comment

#14 - Build fails with "no such variable clockTime"

Issue - State: closed - Opened by drone29a over 5 years ago - 2 comments

#13 - Can't solve constraint

Issue - State: closed - Opened by nicolabotta over 5 years ago - 3 comments

#12 - Fix typo

Pull Request - State: closed - Opened by iridakos over 5 years ago - 3 comments

#11 - idea: monolithic executables with chez-exe

Issue - State: closed - Opened by diakopter over 5 years ago - 1 comment

#10 - typo? in TypeDD

Pull Request - State: closed - Opened by diakopter over 5 years ago - 1 comment

#9 - install target depend on all target

Pull Request - State: closed - Opened by diakopter over 5 years ago - 4 comments

#8 - Not a valid implicit argument

Issue - State: closed - Opened by nicolabotta over 5 years ago - 13 comments

#7 - Best way to add readline support?

Issue - State: closed - Opened by donald-pinckney over 5 years ago - 16 comments

#6 - Infinite loop with hole

Issue - State: closed - Opened by kevinboulain over 5 years ago - 5 comments
Labels: Confirmed bug, Good first issue

#5 - Add note on multithreading configuration when installing Chez Scheme

Pull Request - State: closed - Opened by abailly over 5 years ago - 1 comment

#4 - windows support

Pull Request - State: closed - Opened by melted over 5 years ago - 1 comment

#3 - Can't build Idris2 on Mac OS X

Issue - State: closed - Opened by symbiont-arnaud-bailly over 5 years ago - 3 comments

#2 - Error building Idris2: No such variable clockTime

Issue - State: closed - Opened by logicchains over 5 years ago - 2 comments

#1 - Add `.gitignore` file

Pull Request - State: closed - Opened by asandroq over 5 years ago - 1 comment

GitHub / edwinb/idris2-boot issues and pull requests