Skip to content

home-anchored imports don't work #41

@padhia

Description

@padhia

Not sure if this is an upstream dhall-rust issue, but according to the dhall documentation, the dhall language supports home-anchored imports as shown in the following example. The Python version however seems to support only the relative and absolute imports, but not the home-anchored import.

❯ dhall <<< '~/test.dhall'
"hello"

❯ python
>>> import dhall
>>> dhall.loads('./test.dhall')
'hello'
>>> dhall.loads('~/test.dhall')
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: Error(Dhall(Error { kind: Typecheck(TypeError { message: Custom("error: error\n --> <current file>:1:1\n  |\n1 | ~/test.dhall\n  | ^^^^^^^^^^^^ No such file or directory (os error 2)\n  |") }) }))

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't workingrustPull requests that update Rust code

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions