Development Build

Commits

• d3719dd: Use tableswitch to improve performance (Marimuthu Madasamy) #188

Release 0.7.1-rc.1

Commits

• 25cf13e: [maven-release-plugin] prepare release v0.7.0 [skip ci] (GitHub Actions)
• a008d55: [maven-release-plugin] prepare for next development iteration [skip ci] (GitHub Actions)
• 4da5129: Fix indentation, add output in documentation (Marimuthu Madasamy)
• b661fed: Use Core to get types and improve performance (Marimuthu Madasamy) #183

Release 0.5.1

Commits

• 8d8d3ef: woops, missed the first let when resolving merge. thank goodness we are dealing with a static type system (Mathew Polzin)
• 6258662: fix arity for blodwen-set-thread-data (Edwin Brady)
• dad1804: Fix for thread data in racket/gambit too (Edwin Brady)
• 61e04e3: Use gsha256sum when sha256sum doesn't exist (Stiopa Koltsov)
• 106487c: [refactor] Move pathLookup from Compiler.Common to Utils.Path (Fabián Heredia Montiel)
• 9b8de95: Detect hashFn once (Fabián Heredia Montiel)
• dd7081e: Use --tag (non-reversed) variant of sha256sum for NetBSD compat (Fabián Heredia Montiel)
• b192be3: Merge branch 'name-quote-single-brace' of https://github.com/buzden/Idris2 into buzden-name-quote-single-brace (Edwin Brady)
• ae0e4f4: fix returned sexp for make-lemma command result (#570) (Arnaud Bailly)
• 948a5ba: noticed I was not quite retaining existing behavior around Alt error processing so fixed that. updated tests. (Mathew Polzin)
• 883097e: whitespace lint fix (Mathew Polzin)
• d9a56c5: Merge branch 'unification' of https://github.com/Russoul/Idris2 into Russoul-unification (Edwin Brady)
• a709f6d: Fix/reorganise tests (Edwin Brady)
• 4079ae0: Merge branch 'master' of https://github.com/AliasQli/Idris2 into AliasQli-master (Edwin Brady)
• f51aa22: Bring #1719 up to date with latest changes (Edwin Brady)
• c80a502: Return Bool from IOArray.writeArray (Stiopa Koltsov)
• 89125e9: merge w/ upstream (Mathew Polzin)
• ec3b868: rename experimental command line flag and group with the other experimental feature. (Mathew Polzin)
• 6c24b9e: fix bad merge conflict resolution. (Mathew Polzin)
• 07c62e9: Fixed wrong reflection of records and parameters (Giuseppe Lomurno)
• 37c7009: Removed leak of internal names from test reflection010 (Giuseppe Lomurno)
• 7e904ec: Update %hide help to show it takes a 'name'. (Thomas E. Hansen)
• 66217b6: Merge branch 'master' into refc-buffer (Edwin Brady)
• 3ee965e: FAQ/CONTRIBUTION updates (Edwin Brady)
• c4ed139: Replace per signal counter with per signal flag (Stiopa Koltsov)
• d2af6e5: Export throw and catch again in App (Edwin Brady)
• d1e6726: Update issue template for proposals (André Videla)
• c4b41ee: Remove all mentions of realpath from docs (Kamil Shakirov)
• 0fec867: [ fix ] Name in Language.Reflection.TT (Zoe Stafford)
• d4039d9: Add docs for chez-exe (Niklas Larsson)
• 41c20dd: Assertions in RefC runtime (Stiopa Koltsov)
• f195aed: [ Test ] allow 'N' as an acceptable response (Alex Humphreys)
• 877e830: A couple of documentation corrections (Edwin Brady)
• 5a351f4: Accept HasIO in onCollect functions (Stiopa Koltsov)
• ee063a5: Apply "qualified do" notation to bangs and comprehensions (#1700) (Ruslan Feizerakhmanov)
• ce44d3b: Change semantics of lines and unlines function to match Haskell and other languages (#1585) (Stepan Koltsov)
• 0ecf74e: System.Directory.nextDirEntry (Stiopa Koltsov)
• c7629e2: Skip dot and dot-dot in nextDirEntry (Stiopa Koltsov)
• 4eff6ac: System.Directory.listDir (Stiopa Koltsov)
• 7325002: Implement test discovery (Stiopa Koltsov)
• b663a06: Update javascript.rst (Kenneth J Hughes)
• ac595b1: Fix link to chez-exe (Niklas Larsson)
• d1b1ec0: Minor FAQ edits (Edwin Brady)
• 9aa7a43: Added documentation for new string literals (André Videla)
• 396ebe2: Add documentation for new string literals (André Videla)
• 2068eb2: Better ordering of delayed elaborators (Edwin Brady)
• 68db9fe: Add reg048 files (Edwin Brady)
• eabab4b: Split Windows CI build into multiple steps (Stiopa Koltsov)
• ab36ad7: Simplify a few Factor proofs (Nick Drozd)
• 440a3af: Update docs/source/reference/strings.rst (André Videla)
• 5f34801: Make drop and drop' public exported from the vect module. (Mathew Polzin)
• 74db771: [fix] Loading libidris2_support.dll with Racket (#1583) (Ben Hormann)
• 34167d5: [ ci ] controlling builds via commit messages (#1766) (G. Allais)
• 9f0a706: [ ci ] turn ubuntu-bootstrap-racket off for now (#1772) (G. Allais)
• 1276f47: Fix #1767 (André Videla)
• bab3897: move basic053->interpolation002, move basic061->basic053 (André Videla)
• edefd54: A bit of refactoring of argument elaboration order (Edwin Brady)
• e633a9f: Correct error018 test (Edwin Brady)
• 52c21c6: Update bootstrap code (Edwin Brady)
• 7c85971: Make sure main branch is covered in addition to master during the transition. Make the default branch for linting the main branch. (Mathew Polzin)
• 523c0a6: actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition. (Mathew Polzin)
• 6811c33: Fix printing functions for string starter token (André Videla)
• f4e1346: Remove fromString calls from interpolated strings (André Videla)
• e5879dc: Document --init (Ellis Kesterton)
• 603c60e: Add some docs about building on Windows (Niklas Larsson)
• df43045: [ debug ] add a lot of logging throughout positivity checking (Guillaume ALLAIS)
• 230f42b: [ re #1771 ] Do not use Erased to go under binders (Guillaume ALLAIS)
• b24a9a5: [ re #1771 ] Fix another Erased-related issue (in nameIn) (Guillaume ALLAIS)
• d0c0698: [ re #1771 ] Check parameters for positive uses (Guillaume ALLAIS)
• 4b0edba: Update windows docs with gotchas (Niklas Larsson)
• a693138: [ fix ] bash TAB completion for files (stefan-hoeck)
• c28b257: Add ability to manipulate scheme objects (Edwin Brady)
• b76050d: Remove __collect_safe (Edwin Brady)
• 207a604: [ re #1782 ] A bit more debugging info (Guillaume ALLAIS)
• 13ef8ba: [ fix #1782 ] remove the case-specific code (Guillaume ALLAIS)
• 0d03064: Include GMP in the requirement list (Kamiλ Shakirov)
• 31ffb4e: [ cleanup ] various public export & cleanup (Guillaume ALLAIS)
• c48fe48: [ cleanup ] on is meant to be used with 2 arguments (Guillaume ALLAIS)
• 84b0643: [ ci ] add collie & frex (Guillaume ALLAIS)
• 4920601: Add tests for Nat ranges and fix bad range [1,2..1] behaviour. (#1794) (Sventimir)
• 8e1ca0e: Add break in each case alt in js backend (#1796) (Zoe Stafford)
• 94811ba: [ ci ] bring racket builds back (Guillaume ALLAIS)
• fe306f8: support explicitly setting a version tag during build. (Mathew Polzin)
• 52cc155: get a bit more specific about the GMP library requirement. (Mathew Polzin)
• 1669fc3: Refactor %builtin (#1803) (Zoe Stafford)
• 1b6cc3b: More Scheme readback machinery (Edwin Brady)
• ca95781: flake.nix: Use Racket's Chez for non-x86_64-linux platforms (Las Safin)
• f3855d7: Update contrib Text.Parser to match Library.Text.Parser (#1808) (Alex Humphreys)
• cd86340: Skip forced arguments in conversion check (Edwin Brady)
• 170af1e: Use Closures instead of NF in binders for normal forms (#1823) (Edwin Brady)
• 0d6049c: Fix error message for incorrect function patterns (#1816) (Ellis Kesterton)
• 15ccebb: [ contrib ] Implementation of Zippable was added for Validated (Denis Buzdalov)
• be37e5b: Added "lookupBetween" "leftMost" and "rightMost" to Data.SortedMap (Tim Engler)
• 590a9b1: Add a --list-packages command to the idris2 executable (#1824) (Mathew Polzin)
• 150bffc: [ doc ] Hopefully fix the linting problem in the docs (Denis Buzdalov)
• 21c6f4f: [ breaking ] remove parsing of dangling binders (#1711) (G. Allais)
• 9357d77: [ base ] Relax requirement of Alternative implementation for ReaderT (Denis Buzdalov)
• 99f1e11: [ cleanup ] Slightly improve readability (Denis Buzdalov)
• 8fb18e2: [ fix ] Make standard monad transformer's Alternative be lazy on 2nd arg (Denis Buzdalov)
• 377b21e: [ doc ] Remove trailing spaces from doc files (Denis Buzdalov)
• c339827: [ elab ] Add an ability to fail elab script with a custom FC (Denis Buzdalov)
• 940f588: [ ttimp ] Add a utility function returning an FC by TTImp (Denis Buzdalov)
• 23bb381: [ cleanup ] Small code cleanup, less mutual block and one \case use (Denis Buzdalov)
• 82796b3: print full names in linear checking (André Videla)
• c1ebc05: [ new ] semantic highlighting in REPL & holes (#1836) (G. Allais)
• c29dc73: [ base ] Add semigroup and monoid instances for Vect (Denis Buzdalov)
• dd7d77d: [ visibility ] Make Monad of Vect to the visible from outside (Denis Buzdalov)
• 1e8f9b3: [ fix ] export Show instance for Bounds (stefan-hoeck)
• 370a273: Inline Neg implementations (Daniel Kröni)
• 58907de: [ new ] specify data/record/interface (Guillaume ALLAIS)
• 089e2ec: [ refactor ] introduce defNameType (Guillaume ALLAIS)
• 2f53e56: [ new ] semantic highlighting for the html backend (Guillaume ALLAIS)
• 6f5e5da: [ pretty ] cleaning up binder names (Guillaume ALLAIS)
• e1bfaa7: [ cleanup ] remove commented out code (Guillaume ALLAIS)
• 1df84e8: [ fix #1635 ] Show module docstring in HTML backend (Guillaume ALLAIS)
• 8d8a135: [ fix #1496, fix #1345 ] propagate lex & lit fails too (#1850) (G. Allais)
• 4a9f000: [ close #1313 ] test case (Guillaume ALLAIS)
• ed9a21f: [ new ] support prim__putStr in browser (stefan-hoeck)
• 2465418: [ fix ] fix #1839 (#1857) (Stefan Höck)
• 99b0058: [ fix ] invalid Cast instances (Guillaume ALLAIS)
• 70ac0f4: Specify libc-name for tarm64osx (loovjo)
• e2addcf: [ new ] semantic highlighting via the IDE mode (#1868) (G. Allais)
• 2d7ddc6: [ fix #472 ] Port doc about comments from Idris1 (Peter Hajdu)
• 1e00277: [ fix #1859 ] Undo my mistakes (#1866) (G. Allais)
• 3e1f6ab: Add copyFile to System.File (#1797) (madman-bob)
• cdc157a: Add javascript support for getting system time as integer. (Mathew Polzin)
• 078db21: Return a Vect from Stream take (#1812) (Joel Berkeley)
• 7a3d557: Add copyDir function (#1805) (madman-bob)
• 126daf7: Remove DirInfo.error (Stiopa Koltsov)
• 79177a7: [ fix #1788 ] Only mention building using the previous version (Guillaume ALLAIS)
• 08d9e7d: [ install ] Install non-executable files with the executable flag off (Kamil Shakirov)
• ef91cc...

Release 0.5.1-rc.1

Commits

• 8d8d3ef: woops, missed the first let when resolving merge. thank goodness we are dealing with a static type system (Mathew Polzin)
• 6258662: fix arity for blodwen-set-thread-data (Edwin Brady)
• dad1804: Fix for thread data in racket/gambit too (Edwin Brady)
• 61e04e3: Use gsha256sum when sha256sum doesn't exist (Stiopa Koltsov)
• 106487c: [refactor] Move pathLookup from Compiler.Common to Utils.Path (Fabián Heredia Montiel)
• 9b8de95: Detect hashFn once (Fabián Heredia Montiel)
• dd7081e: Use --tag (non-reversed) variant of sha256sum for NetBSD compat (Fabián Heredia Montiel)
• b192be3: Merge branch 'name-quote-single-brace' of https://github.com/buzden/Idris2 into buzden-name-quote-single-brace (Edwin Brady)
• ae0e4f4: fix returned sexp for make-lemma command result (#570) (Arnaud Bailly)
• 948a5ba: noticed I was not quite retaining existing behavior around Alt error processing so fixed that. updated tests. (Mathew Polzin)
• 883097e: whitespace lint fix (Mathew Polzin)
• d9a56c5: Merge branch 'unification' of https://github.com/Russoul/Idris2 into Russoul-unification (Edwin Brady)
• a709f6d: Fix/reorganise tests (Edwin Brady)
• 4079ae0: Merge branch 'master' of https://github.com/AliasQli/Idris2 into AliasQli-master (Edwin Brady)
• f51aa22: Bring #1719 up to date with latest changes (Edwin Brady)
• c80a502: Return Bool from IOArray.writeArray (Stiopa Koltsov)
• 89125e9: merge w/ upstream (Mathew Polzin)
• ec3b868: rename experimental command line flag and group with the other experimental feature. (Mathew Polzin)
• 6c24b9e: fix bad merge conflict resolution. (Mathew Polzin)
• 07c62e9: Fixed wrong reflection of records and parameters (Giuseppe Lomurno)
• 37c7009: Removed leak of internal names from test reflection010 (Giuseppe Lomurno)
• 7e904ec: Update %hide help to show it takes a 'name'. (Thomas E. Hansen)
• 66217b6: Merge branch 'master' into refc-buffer (Edwin Brady)
• 3ee965e: FAQ/CONTRIBUTION updates (Edwin Brady)
• c4ed139: Replace per signal counter with per signal flag (Stiopa Koltsov)
• d2af6e5: Export throw and catch again in App (Edwin Brady)
• d1e6726: Update issue template for proposals (André Videla)
• c4b41ee: Remove all mentions of realpath from docs (Kamil Shakirov)
• 0fec867: [ fix ] Name in Language.Reflection.TT (Zoe Stafford)
• d4039d9: Add docs for chez-exe (Niklas Larsson)
• 41c20dd: Assertions in RefC runtime (Stiopa Koltsov)
• f195aed: [ Test ] allow 'N' as an acceptable response (Alex Humphreys)
• 877e830: A couple of documentation corrections (Edwin Brady)
• 5a351f4: Accept HasIO in onCollect functions (Stiopa Koltsov)
• ee063a5: Apply "qualified do" notation to bangs and comprehensions (#1700) (Ruslan Feizerakhmanov)
• ce44d3b: Change semantics of lines and unlines function to match Haskell and other languages (#1585) (Stepan Koltsov)
• 0ecf74e: System.Directory.nextDirEntry (Stiopa Koltsov)
• c7629e2: Skip dot and dot-dot in nextDirEntry (Stiopa Koltsov)
• 4eff6ac: System.Directory.listDir (Stiopa Koltsov)
• 7325002: Implement test discovery (Stiopa Koltsov)
• b663a06: Update javascript.rst (Kenneth J Hughes)
• ac595b1: Fix link to chez-exe (Niklas Larsson)
• d1b1ec0: Minor FAQ edits (Edwin Brady)
• 9aa7a43: Added documentation for new string literals (André Videla)
• 396ebe2: Add documentation for new string literals (André Videla)
• 2068eb2: Better ordering of delayed elaborators (Edwin Brady)
• 68db9fe: Add reg048 files (Edwin Brady)
• eabab4b: Split Windows CI build into multiple steps (Stiopa Koltsov)
• ab36ad7: Simplify a few Factor proofs (Nick Drozd)
• 440a3af: Update docs/source/reference/strings.rst (André Videla)
• 5f34801: Make drop and drop' public exported from the vect module. (Mathew Polzin)
• 74db771: [fix] Loading libidris2_support.dll with Racket (#1583) (Ben Hormann)
• 34167d5: [ ci ] controlling builds via commit messages (#1766) (G. Allais)
• 9f0a706: [ ci ] turn ubuntu-bootstrap-racket off for now (#1772) (G. Allais)
• 1276f47: Fix #1767 (André Videla)
• bab3897: move basic053->interpolation002, move basic061->basic053 (André Videla)
• edefd54: A bit of refactoring of argument elaboration order (Edwin Brady)
• e633a9f: Correct error018 test (Edwin Brady)
• 52c21c6: Update bootstrap code (Edwin Brady)
• 7c85971: Make sure main branch is covered in addition to master during the transition. Make the default branch for linting the main branch. (Mathew Polzin)
• 523c0a6: actually, with the change to the super linter, there's really no point in having CI work on both master and main at the same time, we just need to rename the branch right away for a smooth transition. (Mathew Polzin)
• 6811c33: Fix printing functions for string starter token (André Videla)
• f4e1346: Remove fromString calls from interpolated strings (André Videla)
• e5879dc: Document --init (Ellis Kesterton)
• 603c60e: Add some docs about building on Windows (Niklas Larsson)
• df43045: [ debug ] add a lot of logging throughout positivity checking (Guillaume ALLAIS)
• 230f42b: [ re #1771 ] Do not use Erased to go under binders (Guillaume ALLAIS)
• b24a9a5: [ re #1771 ] Fix another Erased-related issue (in nameIn) (Guillaume ALLAIS)
• d0c0698: [ re #1771 ] Check parameters for positive uses (Guillaume ALLAIS)
• 4b0edba: Update windows docs with gotchas (Niklas Larsson)
• a693138: [ fix ] bash TAB completion for files (stefan-hoeck)
• c28b257: Add ability to manipulate scheme objects (Edwin Brady)
• b76050d: Remove __collect_safe (Edwin Brady)
• 207a604: [ re #1782 ] A bit more debugging info (Guillaume ALLAIS)
• 13ef8ba: [ fix #1782 ] remove the case-specific code (Guillaume ALLAIS)
• 0d03064: Include GMP in the requirement list (Kamiλ Shakirov)
• 31ffb4e: [ cleanup ] various public export & cleanup (Guillaume ALLAIS)
• c48fe48: [ cleanup ] on is meant to be used with 2 arguments (Guillaume ALLAIS)
• 84b0643: [ ci ] add collie & frex (Guillaume ALLAIS)
• 4920601: Add tests for Nat ranges and fix bad range [1,2..1] behaviour. (#1794) (Sventimir)
• 8e1ca0e: Add break in each case alt in js backend (#1796) (Zoe Stafford)
• 94811ba: [ ci ] bring racket builds back (Guillaume ALLAIS)
• fe306f8: support explicitly setting a version tag during build. (Mathew Polzin)
• 52cc155: get a bit more specific about the GMP library requirement. (Mathew Polzin)
• 1669fc3: Refactor %builtin (#1803) (Zoe Stafford)
• 1b6cc3b: More Scheme readback machinery (Edwin Brady)
• ca95781: flake.nix: Use Racket's Chez for non-x86_64-linux platforms (Las Safin)
• f3855d7: Update contrib Text.Parser to match Library.Text.Parser (#1808) (Alex Humphreys)
• cd86340: Skip forced arguments in conversion check (Edwin Brady)
• 170af1e: Use Closures instead of NF in binders for normal forms (#1823) (Edwin Brady)
• 0d6049c: Fix error message for incorrect function patterns (#1816) (Ellis Kesterton)
• 15ccebb: [ contrib ] Implementation of Zippable was added for Validated (Denis Buzdalov)
• be37e5b: Added "lookupBetween" "leftMost" and "rightMost" to Data.SortedMap (Tim Engler)
• 590a9b1: Add a --list-packages command to the idris2 executable (#1824) (Mathew Polzin)
• 150bffc: [ doc ] Hopefully fix the linting problem in the docs (Denis Buzdalov)
• 21c6f4f: [ breaking ] remove parsing of dangling binders (#1711) (G. Allais)
• 9357d77: [ base ] Relax requirement of Alternative implementation for ReaderT (Denis Buzdalov)
• 99f1e11: [ cleanup ] Slightly improve readability (Denis Buzdalov)
• 8fb18e2: [ fix ] Make standard monad transformer's Alternative be lazy on 2nd arg (Denis Buzdalov)
• 377b21e: [ doc ] Remove trailing spaces from doc files (Denis Buzdalov)
• c339827: [ elab ] Add an ability to fail elab script with a custom FC (Denis Buzdalov)
• 940f588: [ ttimp ] Add a utility function returning an FC by TTImp (Denis Buzdalov)
• 23bb381: [ cleanup ] Small code cleanup, less mutual block and one \case use (Denis Buzdalov)
• 82796b3: print full names in linear checking (André Videla)
• c1ebc05: [ new ] semantic highlighting in REPL & holes (#1836) (G. Allais)
• c29dc73: [ base ] Add semigroup and monoid instances for Vect (Denis Buzdalov)
• dd7d77d: [ visibility ] Make Monad of Vect to the visible from outside (Denis Buzdalov)
• 1e8f9b3: [ fix ] export Show instance for Bounds (stefan-hoeck)
• 370a273: Inline Neg implementations (Daniel Kröni)
• 58907de: [ new ] specify data/record/interface (Guillaume ALLAIS)
• 089e2ec: [ refactor ] introduce defNameType (Guillaume ALLAIS)
• 2f53e56: [ new ] semantic highlighting for the html backend (Guillaume ALLAIS)
• 6f5e5da: [ pretty ] cleaning up binder names (Guillaume ALLAIS)
• e1bfaa7: [ cleanup ] remove commented out code (Guillaume ALLAIS)
• 1df84e8: [ fix #1635 ] Show module docstring in HTML backend (Guillaume ALLAIS)
• 8d8a135: [ fix #1496, fix #1345 ] propagate lex & lit fails too (#1850) (G. Allais)
• 4a9f000: [ close #1313 ] test case (Guillaume ALLAIS)
• ed9a21f: [ new ] support prim__putStr in browser (stefan-hoeck)
• 2465418: [ fix ] fix #1839 (#1857) (Stefan Höck)
• 99b0058: [ fix ] invalid Cast instances (Guillaume ALLAIS)
• 70ac0f4: Specify libc-name for tarm64osx (loovjo)
• e2addcf: [ new ] semantic highlighting via the IDE mode (#1868) (G. Allais)
• 2d7ddc6: [ fix #472 ] Port doc about comments from Idris1 (Peter Hajdu)
• 1e00277: [ fix #1859 ] Undo my mistakes (#1866) (G. Allais)
• 3e1f6ab: Add copyFile to System.File (#1797) (madman-bob)
• cdc157a: Add javascript support for getting system time as integer. (Mathew Polzin)
• 078db21: Return a Vect from Stream take (#1812) (Joel Berkeley)
• 7a3d557: Add copyDir function (#1805) (madman-bob)
• 126daf7: Remove DirInfo.error (Stiopa Koltsov)
• 79177a7: [ fix #1788 ] Only mention building using the previous version (Guillaume ALLAIS)
• 08d9e7d: [ install ] Install non-executable files with the executable flag off (Kamil Shakirov)
• ef91cc...

Release 0.4.0

Commits

• 22c2c43: Self host 0.4.0, deploy to maven (Marimuthu Madasamy) #134
• 95ce1a8: Prepare for release 0.4.0 (Marimuthu Madasamy) #135
• 7a0429a: Fix license link (Marimuthu Madasamy) #136
• 4fe6cfb: Fix jar packaging (Marimuthu Madasamy) #137

Release 0.4.0-rc.4

Commits

• 053ed96: Fix libraries packaging (Marimuthu Madasamy) #133

Release 0.4.0-rc.3

Commits

• 41951e1: Fix constant case expression scope, char conversion (Marimuthu Madasamy) #132
• f133107: Enhance trampoline, fix function signature, optimize lambda (Marimuthu Madasamy) #132

Release 0.4.0-rc.2

Commits

• 41bf8ff: Fix constructor tag in optimizer (Marimuthu Madasamy) #131
• cb0c87d: Prepare for 0.4.0-rc.2 (Marimuthu Madasamy)

Release 0.4.0-rc.1

Commits

• c54c1a6: Add some inlines (Edwin Brady)
• 251d77b: Swap 'False' and 'True' constructors (Edwin Brady)
• e58bcfc: Semantic highlighting (#1335) (Ohad Kammar)
• 8038f0a: [ refactoring ] Tiny changes following up the idris-lang/Idris2#830 (Denis Buzdalov)
• 25ae664: [ fix #1378 ] Collect constructors after inlining (#1380) (Zoe Stafford)
• 5048103: [ contrib ] add (alissa-tung)
• 53094e3: Choose foreign string based on priority (Niklas Larsson)
• 08d61d7: [ fix #1370 ] use the lambda's type for eta-expansion (Guillaume ALLAIS)
• 8a7aeca: [ builtin ] O(1) natToInteger for any 'Nat'-like type (#1363) (Zoe Stafford)
• f028981: [ fix #801 ] Use Number for up to 32 bit integers on JS backends (#1375) (Stefan Höck)
• 4de7b21: [ new ] Add chez-sep codegen (#1359) (Matúš Tejiščák)
• ab24121: [ breaking ] making toList part of Foldable (#1395) (G. Allais)
• 1d70a83: Mention Compiler.Separate in the CHANGELOG. (Matus Tejiscak)
• 004cc45: [ test ] cosmetic changes & retest capability (#1394) (G. Allais)
• efaf290: Calculate whether an inlining is safe (Edwin Brady)
• f21a495: Merge github.com:idris-lang/Idris2 into tweak-cg (Edwin Brady)
• 75de88d: Add missing cases in hashing ConInfo (Edwin Brady)
• 364eaff: [ towards #1124 ] Statically enforced logging (#1402) (Stefan Höck)
• 1d762d4: Print constructor labels correctly (Edwin Brady)
• 5b246ed: [ totality ] Make Language.Reflection modules have %default total (Denis Buzdalov)
• 8d4c955: [ new ] tab auto-completion in bash-like shells (stefan-hoeck)
• 2a57f1c: [ doc ] instructions for activating tab completion (stefan-hoeck)
• dece431: [ refactor ] minor changes (Guillaume ALLAIS)
• ecfa1f5: [ debug ] adding existing log levels to autocompletion (Guillaume ALLAIS)
• c798f6d: [ fix ] auto-complete known log topics (stefan-hoeck)
• 1a6c8ee: [ fix ] support all log level prefixes (stefan-hoeck)
• 2100260: [ fix ] Handle ambiguous DPair/MkDPair (Guillaume ALLAIS)
• 664a761: Remove path and version from Racket libc FFI definer (Johann Rudloff)
• b9e95d5: Do not explicitly load libc on FreeBSD (Johann Rudloff)
• 2477d06: Use sysctl instead of nproc to get number of processors on FreeBSD (Johann Rudloff)
• 7fe8c42: [ builtin ] O(1) integerToNat for any 'Nat'-like type (#1403) (Zoe Stafford)
• 7e52099: [ fix ] missing log option (#1411) (Zoe Stafford)
• ba10b46: Add missing 'commit' on backtrack (Edwin Brady)
• 0392b49: [ doc ] Update the test-lib's readme according to the current state (Denis Buzdalov)
• 3610464: [ fix ] record projections (Guillaume ALLAIS)
• 4917d12: [ fix ] highlighting of tuples (Guillaume ALLAIS)
• c6f125b: Fix tail calls in node back end (Edwin Brady)
• 3493083: [ fix #621 ] add warnings for shadowed global definition (#1407) (G. Allais)
• 45fc100: Store postponed unification problems as values (Edwin Brady)
• 70d8e4b: Merge github.com:idris-lang/Idris2 into unify-postponing (Edwin Brady)
• 5ac441a: Some micro-optimisations (Edwin Brady)
• e3fa071: Don't calculate blocked metavariable set (Edwin Brady)
• d97f526: [ perf ] Move unnecessary toFullNames calls under a logC (#1423) (Ruslan Feizerakhmanov)
• 7cc88d2: [ elab ] More descriptive "Bad elaborator script" error message (#1427) (Denis Buzdalov)
• d0a6c9b: [ debug ] better information (Guillaume ALLAIS)
• ac4b31b: [ fix #1421 ] Use resolved names for the impossible LHS (Guillaume ALLAIS)
• f98bb39: Bugfix highlighting of let declarations (Ohad Kammar)
• 2f66f3e: [ test ] case for the fix (Guillaume ALLAIS)
• 669bcf3: Avoid reading whole ttcs unnecessarily (Edwin Brady)
• 66f3787: [ cleanup ] Annotate JS backend sources (#1425) (Stefan Höck)
• 7f210b5: Inline small metavariables (Edwin Brady)
• d51fe89: Trim namespace when writing definitions to TTC (Edwin Brady)
• eca2577: [ doc ] updated changelog (stefan-hoeck)
• b94f7e9: Strip current namespace when writing out defs (Edwin Brady)
• 72e0245: Remove trailing space (Edwin Brady)
• 5ab91ca: Substantial reduction in TTC size (Edwin Brady)
• f6919af: Increment TTC version (Edwin Brady)
• 890810e: Remove unsecure commands (#1433) (Michael Messer)
• 31a5175: [ re #1031 ] Disallow ? patterns on the LHS (Guillaume ALLAIS)
• 823230b: Vect reasoning library (#1439) (Ohad Kammar)
• 618c714: [ close #1384 ] built-in Snoc-lists [< 1, 2, 3 ] (#1383) (Ohad Kammar)
• 06ca4be: Refactor C codegen (Robert Wright)
• d961c04: Make RefC fail noisily (Robert Wright)
• 51ddcad: Improve RefC foreign function support (Robert Wright)
• 2a957a3: Add RefC FFI header file support (Robert Wright)
• 978d86f: Fix RefC identity functions memory management (Robert Wright)
• c34c6e0: Complete RefC standard String support (Robert Wright)
• 204b96f: Add RefC math library linking (Robert Wright)
• ecde887: Add RefC external type support (Robert Wright)
• cf2b05c: Add RefC Buffer support (Robert Wright)
• f3aae06: Add RefC Clock support (Robert Wright)
• cd39066: Add RefC getArgs support (Robert Wright)
• 58a321c: Add RefC foreign closure support (Robert Wright)
• c57bb5a: Add RefC StringIterator support (Robert Wright)
• 1e15ff3: Disable C file linting (Robert Wright)
• 5aef7a2: fixup! 04dfba03 (Robert Wright)
• 50d75cc: [ cleanup ] logging (#1442) (Zoe Stafford)
• e9f5038: [ fix ] Version encoding should be stable (#1443) (G. Allais)
• ee7956b: [ cleanup ] move DocString to Doc.String (Guillaume ALLAIS)
• 6904cf5: [ :doc ] Adding projections to the record doc (Guillaume ALLAIS)
• b457d15: [ fix #221 ] realpath alternative for macOS (Ben Hormann)
• 7ca526e: fix typo (archlinuxxx)
• 699de70: [contrib] More properties of vectors (#1449) (Ohad Kammar)
• ad656a8: Remove realpath (#1457) (Kamiλ Shakirov)
• e293d82: [ fix ] System.getArgs on node backend (stefan-hoeck)
• 6f90e5d: [ test ] node test for System.getArgs (stefan-hoeck)
• 961683a: [ FFI ] Support new IntX types in foreign function types (#1437) (Stefan Höck)
• a0a4172: Simple signal handling (#1458) (Mathew Polzin)
• d9318a2: [ Fixup #1437 ] Correct cases in cftySpec (Fabián Heredia Montiel)
• 704a252: [ fix #55 ] Propagate linear context from Definition to Clauses (Fabián Heredia Montiel)
• f1085b9: [ test #18 ] Add passing tests from issue to avoid regressions (Fabián Heredia Montiel)
• 1fd5ccf: [ fix #1453 ] rename cast -> coerce (#1468) (G. Allais)
• 4b0f171: [ help ] display logging topics and accompanying blurbs (if any) (#1467) (G. Allais)
• 1aefab3: [ fix ] nproc missing for non-GNU systems (Ben Hormann)
• 6920545: A rough dump of how to debug idris2's workings. (#1464) (Jan de Muijnck-Hughes)
• 68f6f4d: Cache intermediate results in totality checking (Edwin Brady)
• 9cce0e1: Remove whitespace in test file (Edwin Brady)
• a9b754e: Remove whitespace again (Edwin Brady)
• b5cbf92: [ test ] cosmetic improvements (Guillaume ALLAIS)
• 30c178c: [ feature ] Implement -Werror (WarningsAsErrors) (#1466) (Fabián Heredia Montiel)
• 2e61779: [ docs ] Build docs for the 'test' package (Kamil Shakirov)
• d69e35c: [ re #1466 ] Actually error out with -Werror (#1474) (G. Allais)
• eb044fc: Support prim__codegen on javascript (Zoe Stafford)
• 6f83924: [ warn ] holes are not shadowed by implicits (Guillaume ALLAIS)
• da4ee92: [ cleanup ] Remove unnecessary Libraries.Utils.Either (Fabián Heredia Montiel)
• 6df80ff: [ cleanup ] tests/Main.idr import list (Guillaume ALLAIS)
• 6b07113: [ feature ] Expose 'resolvedAs' and 'getSimilarNames' (Andor Penzes)
• 24f7c9d: Add foldMap to Foldable (#1483) (Zoe Stafford)
• 29cc1f4: [ refactor ] Use f <$> ... instead of pure f <*> ... in traverses (Denis Buzdalov)
• eccce3b: [ fix ] Memoize intermediary results in JS backends (#1494) (Stefan Höck)
• 98d6749: RefC Integer Support (#1480) (madman-bob)
• c5b10f0: [ doc ] for the linear pair constructor (#1492) (G. Allais)
• 4a193b3: Small pruning fix (Edwin Brady)
• 2a4197e: [ doc ] Some documentation on := syntax of let bindings (#1487) (Denis Buzdalov)
• 18e15e2: [ fix ] Cast CLOCKS_PER_SEC to float before division (Johann Rudloff)
• 9e7625e: [ log ] more readable output for elab.ambiguous (#1500) (G. Allais)
• 5fa272b: Read import hashes correctly (Edwin Brady)
• baa6051: [ fix ] use twos complement truncation for signed ints (#1471) (Stefan Höck)
• 7aee7c9: [ new ] --install-with-src; refactoring around FCs (#1450) (Ruslan Feizerakhmanov)
• d12abbd: Add a 'shortcut' to conversion check (Edwin Brady)
• aa94dd2: Add RefC Char pattern matching support (Robert Wright)
• 9a523ed: Recover full file name when encoding FC to SExp in Name-At command (Ruslan Feizerakhmanov)
• f0af11a: Always return absolute paths (Ruslan Feizerakhmanov)
• abd5432: [ fix ] indentation of impossible clauses (#1520) (CodingCellist)
• a281550: Remove unused 'useMetas' field (Edwin Brady)
• 9512683: Recover the original way of sending file contexts to idemode clients (Ruslan Feizerakhmanov)
• 7d23527: Remove redundant converstion checks in Pi types (Edwin Brady)
• 18c7e2c: Merge github.com:idris-lang/Idris2 into normalise-tweaks (Edwin Brady)
• a75887f: Update error018 test output (Edwin Brady)
• 4a09707: vars can be erased in evalLocal (Edwin Brady)
• 2061982: [cleanup] Remove half of Libraries.Data.List1 (Fabián Heredia Montiel)
• 0df3316: [cleanup] Remove Libraries.Data.Bool.Extra (Fabián Heredia Montiel)
• 663a838: Properly normalise constants on LHS (Edwin Brady)
• 38bdbfb: Please the linter (Edwin Brady)
• f923c36: Please the linter again (Edwin Brady)
• 06f69ba: Fix test output (Edwin Brady)
• 19cb268: Only fully normalise fromInteger on LHS (Edwin Brady)
• 012d7f8: [ README ] Contributors wanted. (Andor Penzes)
• ba92a82: Contributors -> Contributions (André Videla)
• dad4dcd: Add totality annotations to src and libs/{prelude, base} (Fabián Heredia Montiel)
• bf09856: [ totality ] More %default total stuff (Denis Buzdalov)
• 97ee3d4: Check LHS arguments are polymorphic enough (Edwin Brady)
• fda76b8: Merge github.com:idris-lang/Idris2 (Edwin Brady)
• 4c99537: Add color to tests (Fabián Heredia Montiel)
• 4a0a575: Retu...

Release 0.3.1-rc.2

Commits

• fdff3c0: Prepare for 0.3.1-rc.2 release (Marimuthu Madasamy) #128