v0.3.4
v0.3.4 (2023-05-22)
Implemented enhancements:
- Allow symbol renaming inside
using {..}#2109 (janmasrovira) - Scope check symbols inside
using {..}andhiding {..}#2108 (janmasrovira) - Pass through compile optimization flag to C compiler and disable optimization for --debug #2106 (paulcadman)
- Add syntax for Judoc blocks #2102 (janmasrovira)
- Add dangling judoc error #2099 (janmasrovira)
- Modify
open importsyntax #2098 (janmasrovira) - Improve error message when input path doesn't exist #2092 (paulcadman)
- Partial incremental highlighting #2053 (janmasrovira)
- Normalization by Evaluation #2038 (lukaszcz)
- Inlining #2036 (lukaszcz)
Merged pull requests:
- Use PrettyCode instance instead of obsolete ppUsingItem in Print.Base #2115 (janmasrovira)
- Add
syntaxkeyword #2107 (lukaszcz) - Simplify formatting of lambdas with a single clause #2105 (janmasrovira)
- Fix extra whitespace in text rendering of indented empty lines #2101 (paulcadman)
- Reachability analysis in Core #2097 (lukaszcz)
- Slightly improve prettyprinting for Core #2094 (janmasrovira)
- Bump to LTS Haskell 20.21 (ghc-9.2.7) #2093 (jonaprieto)
- Direct translation from normalized JuvixCore to VampIR #2086 (lukaszcz)
- ci: clean .juvix-build directory before formatting/typechecking examples #2079 (paulcadman)
- Fix format on projects that contain subprojects #2078 (paulcadman)
- Implement core transformation
let-hoisting#2076 (janmasrovira) - Allow nested block comments #2075 (janmasrovira)
- Fix topCommandInputFile for Format command #2063 (vrom911)
- Fix reachability analysis with imports in unreachable nested modules #2062 (lukaszcz)
- Fix devcontainer juvix install #2061 (paulcadman)
- Fix Makefile target bugs for formatting and type Checking Juvix files #2057 (jonaprieto)
- Fix a bug in the positivity checker (#1943) #2054 (jonaprieto)
- Arity check types and functions (->) #2049 (janmasrovira)
- Fix ordering of statements in Abstract -> Internal #2040 (janmasrovira)