Zoe Stafford

This overflow is triggered by the long strings in `examples/dependent-type-checker.hvm`, so I suggest a better compile time string representation would be a good fix for this. Currently this requires strings...

On my machine, I have fixed this example in the interpreter, I have a bug with my fix when compiling to c, but I'll make a PR when I iron...

Well with the 60 bit pointers, that is enough to use the system allocator, so long as allocations are 16 byte aligned. This means the changes I suggested aren't useful...

The nix CI failing is an existing bug right? I hope I didn't cause it.

Hopefully I rebased this correctly

`System.Clock` added by #2829

`popen`/`pclose` added by #2866

Yep, I used racket to build idris, it took a while but it works!

I imagine this is caused by the following optimisation https://github.com/idris-lang/Idris2/blob/main/src/Compiler/CaseOpts.idr#L17-L31 This optimisation can have performance benefits, if for example the function is never applied, but equally, as you have mentioned...

> Is this related to [#2439](https://github.com/idris-lang/Idris2/issues/2439)? Possibly, although in this case the error still occurs even with everything imported