search

idris-lang / Idris2

A purely functional programming language with first class types
https://idris-lang.org/
Other
2.46k stars 368 forks source link

[ performance ] a faster implementation of `unpack` #3281

Closed stefan-hoeck closed 1 month ago

stefan-hoeck commented 1 month ago

This fixes #3280 by providing a new implementation of unpack, that performs much better at compile time. The example from #3280 has been added as a test case.