idris-lang / Idris2

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

[fix] include stdio header in readline C code in example so it builds on all systems #3378

Closed mattpolzin closed 2 months ago

mattpolzin commented 2 months ago

Closes #1179.

Description

On some systems this sample already builds fine, on others it hits the error that FILE is not defined. Including stdio fixes the problem and even aligns with the example code given in the readline manpages.

Should this change go in the CHANGELOG?