jfecher / ante

A safe, easy systems language
http://antelang.org
MIT License
1.9k stars 79 forks source link

Fix compile error in prelude/input + rename it #144

Closed DestyNova closed 1 year ago

DestyNova commented 1 year ago

I ran into errors like this when trying to call input in the Prelude:

error: No impl found for Extract (Ptr char) usz (ref char)
    buffer#len := '\0'

This PR does the following:

DestyNova commented 1 year ago

I see some test failures in CI but not sure how that could happen... will take a look :thinking:

jfecher commented 1 year ago

Looks like the original error from not using array_insert has been fixed. I've also split input into input and read_line as well. I'm closing this since the original error is gone now, but will open a new issue for the bitcast panic if I can reproduce it again.