1
1
mirror of https://github.com/anoma/juvix.git synced 2025-01-07 08:08:44 +03:00
juvix/app
Jan Mas Rovira ef16b45ca6
Aliasing (#2301)
- Closes #2188.

This pr introduces a new syntactical statement for defining aliases:
```
syntax alias newName := oldName;
```
where `oldName` can be any name in the expression namespace. Fixity and
module aliases are not supported at the moment.

- The `newName` does not inherit the fixity of `oldName`. We have agreed
that the goal is to inherit the fixity of `oldName` except if `newName`
has a fixity statement, but this will be done in a separate pr as it
requires #2310.
2023-08-25 15:28:58 +02:00
..
Commands Aliasing (#2301) 2023-08-25 15:28:58 +02:00
TopCommand Support juvix format with no argument to format a project (#2208) 2023-06-20 06:32:17 +01:00
App.hs Add main field to juvix.yaml (#2120) 2023-05-24 15:42:20 +02:00
AsmInterpreter.hs Refactor Core datastructures (#1975) 2023-04-04 18:58:05 +02:00
CommonOptions.hs Support more paths (#2000) 2023-04-19 15:56:48 +01:00
Evaluator.hs Print values in juvix eval (#2179) 2023-06-06 12:35:01 +02:00
GlobalOptions.hs Remove abstract (#2219) 2023-06-30 15:01:46 +02:00
Main.hs Improve error message when input path doesn't exist (#2092) 2023-05-15 11:03:09 +02:00
TopCommand.hs Add juvix clean to remove project build artifact directory (#2018) 2023-04-21 14:21:31 +02:00