$ git clone https://github.com/idris-lang/Idris2.git … $ make bootstrap SCHEME=chez $ make install Go on, you know you want to :)https://twitter.com/smdiehl/status/1262731208716365826 …
-
-
Replying to @edwinbrady
With a chez scheme @ git tag v9.5.1 compiled with `./configure --threads`, and after doing `ulimit -v 2000000` I got "217/217 tests successful"! Real nice. Not sure why chez scheme compilations were so eager to chew up all my ram and cpu if I didn't them :/
1 reply 0 retweets 0 likes -
Replying to @jcreed
Hmm, I've been getting pretty low memory usage, at least relative to previous attempts at implementing Idris - generally hovering around 300Mb.
1 reply 0 retweets 0 likes -
Replying to @edwinbrady
maybe it's something odd about my setup then; the problem arose already when I was just trying to compile chez scheme itself, independent of any idris code. shrug.
1 reply 0 retweets 0 likes
I should maybe try other versions of chez scheme (I'm on 9.5) to see what happens. The racket compiled version also hovered around the same level.
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.