search

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris
https://idris-lang.org/
Other
903 stars 58 forks source link

add stub functions for primitive casts between BitsN types #395

Closed karroffel closed 3 years ago

karroffel commented 3 years ago

Related to https://github.com/idris-lang/Idris2/pull/548.

The PR linked above adds Cast implementations for BitsN types. These implementations use primitive functions which are not available in Iris2-boot. This commit adds these functions as a stub to make the Prelude in Idris2 compile again.