| Age | Commit message (Collapse) | Author |
|---|
|
See the Idris2 CHANGELOG for a full list of changes.
This has been out for a while but the PKGBUILD was broken (and most of
Idris2 users probably use `pack` these days). I believe I have fixed the
PKGBUILD (it seems the build process is a bit better behaved these days)
although this will become apparent once more people install it.
|
|
The base/system_info001 test has a bug that was not discovered until
recently, due to the systems we (the Idris community) have access to not
showing it. It has been fixed as of idris-lang/idris2#2754, but that
won't land in this package until the next official release.
Also removed git as a makedepends. It was likely left over from the
idris2-git package; the official release doesn't need git to build.
|
|
Numerous new features (e.g. multi-with), detailed help support at the
REPL, refactoring of existing code (e.g. the `linear` and `papers`
libraries), various bug-fixes, etc. For a complete list, see the
[CHANGELOG](https://github.com/idris-lang/Idris2/blob/main/CHANGELOG.md)
Also actually checks Idris built correctly now (via `make test`).
|
|
The AUR package we rely on for Chez Scheme changed the name of the
installed scheme binary from "scheme" to "chez" as of
`chez-scheme 9.5.6-1` (released 2021-11-14).
This means we need to set
`SCHEME=chez`
when building Idris 2, instead of the old
`SCHEME=scheme`.
|
|
This also adds the test and idris2-api packages to the install, as well
as including their source code, with the goal of supporting the new LSP
server out of the box. It works with the current latest main branch.
It also includes the new Bash completions.
|
|
|
|
|
|
|
|
|
|
|
|
|