CLI: Standard library files not reachable in escript #170

New Issue

2019-11-11T18:37:13+09:00

zxq9 commented

2019-11-11 18:37:13 +09:00

(Migrated from gitlab.com)

Created by: hanssv

~/Quviq/Aeternity/aesophia_cli [git:*master]: cat /tmp/foo.aes 
include "List.aes"
contract C =

  entrypoint foo(f : int => bool, l : list(int)) =
    List.map(f, l)
~/Quviq/Aeternity/aesophia_cli [git:*master]: ./aesophia_cli /tmp/foo.aes 
Parse error in '/tmp/foo.aes' at line 1, col 1:
Couldn't find include file 'List.aes'

There are actually two problems

The aesophis/priv/stdlib/* is not included in the escript aesophia_cli
You can't access the files in an escript as if they are in the file system

*Created by: hanssv* ``` ~/Quviq/Aeternity/aesophia_cli [git:*master]: cat /tmp/foo.aes include "List.aes" contract C = entrypoint foo(f : int => bool, l : list(int)) = List.map(f, l) ~/Quviq/Aeternity/aesophia_cli [git:*master]: ./aesophia_cli /tmp/foo.aes Parse error in '/tmp/foo.aes' at line 1, col 1: Couldn't find include file 'List.aes' ``` There are actually two problems - [x] The `aesophis/priv/stdlib/*` is not included in the escript `aesophia_cli` - [x] You can't access the files in an escript as if they are in the file system

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: QPQ-AG/sophia#170