CodingCellist
CodingCellist
There have been a lot of changes since the last release and people, myself included, tend to forget to document these in the CHANGELOG. Given that some of these changes...
IWrite somehow persisently updates the file without requiring a write afterwards. This can lead to unexpected behaviour where Idris fails to recognise that a file has updated and checks the...
# Description Prompted by discussion on the Discord: there was confusion as to when computations would be re-evaluated, whether type annotations made a difference (and when), the difference between `let`...
The only item remaining on the checklist for releases is: - [ ] Make libdocs and upload to idris-lang.org I can make the docs without any issues. However, there was...
(Spotted thanks to mikkom on discord) `%hint` doesn't seem to show up in the list of pragmas returned by `idris2 --help pragma`. It could be that it isn't considered one,...
This oddity was observed by Alessio. I recompiled conjure with profiling support and discovered that, for some reason, conjure spends the majority of its time in `Conjure.Language.Name.(==)` when compiling the...
When trying to sync the app from iOS, or trying to create a calendar, causes the following error and stack trace to appear: ``` {"version":"1.3.1","error":{"message":"Failed to get group for id:...
This came up as part of a thing I'm currently working on. Due to `Prelude.elem` being implemented for all `Foldable`s, it is significantly slower at compile-time compared to the "trivial"...
- [x] I have searched the [issues](https://github.com/getpelican/pelican/issues?q=is%3Aissue) (including closed ones) and believe that this is not a duplicate. - [x] I have searched the [documentation](https://docs.getpelican.com/) and believe that my question...
- [x] I have read [CONTRIBUTING.md](https://github.com/idris-lang/Idris2/blob/main/CONTRIBUTING.md). - [x] I have checked that there is no existing PR/issue about my proposal. ## Summary As part of the `Release/CHECKLIST` file, there is...