1
1
mirror of https://github.com/anoma/juvix.git synced 2024-12-25 16:45:20 +03:00
juvix/examples/milestone
Jan Mas Rovira bf06cb14d1
Formatter improvements (#3194)
1. Closes #3192. The first pipe is ensured in a multi-clause lambda.
3. Bugfix: Pragmas are now properly printed for deriving statements.
Previously they were never printed.
4. Record types are always declared in a new line, even if they have a
single constructor and fit in a line. I think this change improves
readability.
   ```
   -- before
   type Eq A := mkEq@{builtin isEqual eq : A -> A -> Bool};
  
   -- after
   type Eq A :=
     mkEq@{
       builtin isEqual
       eq : A -> A -> Bool;
     };
   ```
5. I've formatted the stdlib
(https://github.com/anoma/juvix-stdlib/pull/150).
6. I've refactored some code related to adding the first pipe so that it
is reused for cases, lambdas and types.
7. Now `ConstructorDef` has a proper `PrettyCode` instance and does not
need to be passed a bool indicating whether it is the only constructor
in a definition.
2024-11-29 11:49:47 +01:00
..
Bank Allow trailing semicolons everywhere (#3123) 2024-10-29 18:25:06 +01:00
Collatz Set line width to 80 (#3124) 2024-10-25 15:11:19 +02:00
Fibonacci Update standard library coding style according to the guidelines (#3092) 2024-10-14 15:56:54 +02:00
Hanoi Allow trailing semicolons everywhere (#3123) 2024-10-29 18:25:06 +01:00
HelloWorld Migrate old named application syntax (#2876) 2024-07-12 18:31:09 +02:00
PascalsTriangle Set line width to 80 (#3124) 2024-10-25 15:11:19 +02:00
TicTacToe Formatter improvements (#3194) 2024-11-29 11:49:47 +01:00
Tutorial Migrate old named application syntax (#2876) 2024-07-12 18:31:09 +02:00