Jan Mas Rovira 84b0e5605f Use writeFileEnsureLn in place of writeFile (#2604) ... Now we guarantee that whenever we write a file there is a newline character at the end, which is a [Unix convention](https://pubs.opengroup.org/onlinepubs/009695399/basedefs/xbd_chap03.html#tag_03_205). The juvix prelude now exports `writeFileEnsureLn` and it no longer exports `writeFile`. If at some point we need the behaviour of `writeFile` I'd suggest that we export it renamed as `writeFileVerbatim` or something similar.		2024-01-31 11:15:17 +01:00
..
Compile	Nockma compile (#2570)	2024-01-17 11:15:38 +01:00
Run	Add FileExt type (#2467)	2023-10-25 12:02:12 +02:00
Validate	Add FileExt type (#2467)	2023-10-25 12:02:12 +02:00
Compile.hs	Use writeFileEnsureLn in place of writeFile (#2604)	2024-01-31 11:15:17 +01:00
Options.hs	Translation from JuvixAsm to C (#1619)	2022-12-06 11:33:20 +01:00
Run.hs	Use system locale independent readFile and writeFile APIs from with-utf8 (#2473)	2023-10-26 09:13:33 +01:00
Validate.hs	Use system locale independent readFile and writeFile APIs from with-utf8 (#2473)	2023-10-26 09:13:33 +01:00