Let me check my path... I'll get back to you on this. Thanks.
On Sunday, December 1, 2019 at 10:47:06 AM UTC-5, gmhwxi wrote:
>
> >> fopen(":/home/...")
>
> Where is leading ':' in the filename from?
>
> On Sun, Dec 1, 2019 at 10:40 AM d4v3y_5c0n3s <tmj...@gmail.com
> <javascript:>> 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-lan...@googlegroups.com <javascript:>.
>> 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/bbaa2e9f-00d7-4ca6-9402-7af88d7b0c49%40googlegroups.com.
