"fopen: No such file or directory" Issue When Compiling a Simple Project

[d4v3y_5c0n3s]

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?

[Hongwei Xi]

>> fopen(":/home/...")

Where is leading ':' in the filename from?

--
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-user...@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.

[d4v3y_5c0n3s]

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> 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.

[d4v3y_5c0n3s]

Okay, you were right.  My PATH was messed up, I had accidentally put the $PATSHOME variable within itself, for some reason.  Now it compiles fine.  Thanks so much!

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> 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.