>> fopen(":/home/...") Where is leading ':' in the filename from?
On Sun, Dec 1, 2019 at 10:40 AM d4v3y_5c0n3s <tmj9...@gmail.com> wrote: > Hello, so I've installed ATS and I am trying to compile a simple 'hello > world' program. Here's what I enter into the terminal: > *patscc -o test test.dats* > It finds the file fine, but I keep getting this error: > > *fopen: No such file or directory exit(ATS): > [fopen(":/home/d4v3y/ATS2-Postiats/prelude/fixity.ats", "r")] failed* > Using the 'ls' command reveals that this file, 'fixity.ats', does indeed > exist, as shown below: > ls /home/d4v3y/ATS2-Postiats/prelude/ > > *CATS SATS basics_gen.sats basics_sta.sats fixity.ats > macrodef.sats DATS basics_dyn.sats basics_pre.sats codegen2.sats > lmacrodef.hats params.hats* > Does anyone know what this error could be? > > -- > You received this message because you are subscribed to the Google Groups > "ats-lang-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to ats-lang-users+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/ats-lang-users/d0f270d9-4f55-43ff-940f-96b3e5dafc6a%40googlegroups.com > <https://groups.google.com/d/msgid/ats-lang-users/d0f270d9-4f55-43ff-940f-96b3e5dafc6a%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "ats-lang-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to ats-lang-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/ats-lang-users/CAPPSPLpcq6W%3D5RssK2f4f8wUCUievJfWRC6LsZT7qrqbxkaZzw%40mail.gmail.com.