v0.3.2
v0.3.2 (2023-04-18)
Implemented enhancements:
- Qualified imports #2004 (janmasrovira)
- Pretty print JuvixCore values consistently with Juvix syntax #1988 (lukaszcz)
- Add: the 'seq' builtin (>>>) #1982 (lukaszcz)
- Fix: pprint positive kw for data types #1980 (jonaprieto)
- Fix: format juvix files in test/positive #1978 (jonaprieto)
- Add syntax highlighting for juvix code blocks in docs #1971 (jonaprieto)
- Add juvix global project under xdg directory and other improvements #1963 (janmasrovira)
- Add builtin integer type to the surface language #1948 (paulcadman)
Merged pull requests:
- Preserve escaped " in String literals #2011 (paulcadman)
- Fix: broken links of Example programs #2003 (jonaprieto)
- Write compile output file to invoke dir by default #1999 (paulcadman)
- Add minor improvements to the docs #1995 (vrom911)
- ci: Specify llvm version in brew prefix command #1990 (paulcadman)
- Fix location for case expressions #1987 (lukaszcz)
- Fix: add supported targets as option for compile commands #1983 (jonaprieto)
- Fix: Stop 'make check' at first failure #1981 (jonaprieto)
- Test numbering #1977 (lukaszcz)
- Refactor Core datastructures #1975 (lukaszcz)
- Add Juvix to all benchmarks #1974 (lukaszcz)
- Check for the executable (WASM/native) pipeline prerequisites #1970 (lukaszcz)
- Print quoted strings in the runtime #1969 (lukaszcz)
- Update the tutorial #1967 (lukaszcz)
- Fix PrettyCode (Maybe a) instance "Just" case #1966 (paulcadman)
- Documentation for projects and modules #1962 (janmasrovira)
- repl: Run disambiguateNames on result node #1961 (paulcadman)
- Add FoldTypeSynonyms Transformation to Geb Pipeline and more Geb Tests #1956 (lukaszcz)
- Support local modules #1872 (janmasrovira)