2025-01-21

What's Changed

• Add filtering to api page by @austin-artificial in #81
• Add Process.nullStream by @austin-artificial in #82
• Add IO.Handle as type by @austin-artificial in #83
• Slightly better error messages with constraints.

Full Changelog: 2025-01-13...2025-01-21

2025-01-13

What's Changed

• Add Process.useHandleOpen primitive by @austin-artificial in #76
• Add IO.hClose primitve by @austin-artificial in #77
• Add Process.setWorkingDir and IO.openFile (and constructors) by @austin-artificial in #79
• Add optparse-applicative support by @chrisdone in #78

Full Changelog: 2025-01-09...2025-01-13

2025-01-09

What's Changed

• Use Text with Exit.die by @MichaelXavier in #63
• Add Map.keys/Map.elems by @chrisdone in #66
• Support referencing user-defined types from terms and other user-defined types by @chrisdone in #67
• Ensure user-defined sum/record type are qualified by @chrisdone in #68
• Add withSystemTempFile and withSystemTempDirectory from the temporary package by @austin-artificial in #71
• Add more process functions and a motivating example by @austin-artificial in #73
• Add Functor.fmap cc @sassela
• Add Data.Tree by @chrisdone
• Hide internal names (Record/Variant/List/ConsL/NilL/Tagged/etc.) from the user's ability to write or see in the API docs
• Add StreamSpec to supported types

New Contributors

• @austin-artificial made their first contribution in #71

Full Changelog: 2024-12-04...2025-01-09

2024-12-04

What's Changed

• Export Set.difference and Set.intersection by @MichaelXavier in #57
• Add sum types by @chrisdone-artificial in #60
• Include location of ambiguous meta variables in error messages by @chrisdone in #62
• Fix type of List.find which had an ambiguous variable

New Contributors

• @MichaelXavier made their first contribution in #57
• @jhrcek made their first contribution in #59

Full Changelog: 2024-10-28...2024-12-04

2024-10-28

What's Changed

• Support unit () by @chrisdone in #52
• Support operations on exit code by @chrisdone in #53
• Add unit to supported types by @chrisdone in #54

Full Changelog: 2024-10-08...2024-10-28

2024-10-08

What's Changed

• Add a load of list functions by @chrisdone in #44

Full Changelog: 2024-10-04...2024-10-08

2024-10-04

What's Changed

• Re-order the type so you can write Record.get @"k" @int by @chrisdone in #25
• Add locations to equality constraints by @chrisdone in #43

Full Changelog: 2024-08-23...2024-10-04

2024-08-23

What's Changed

• Check scope of variables at the desugarer stage too by @chrisdone in #24
• Support argument passing into scripts
• Drop --exec support

Full Changelog: 2024-08-05...2024-08-23

2024-08-05

• Human-readable error messages (basic, nothing fancy)
• Error out in the elaborator when variables that aren't in scope are encountered
  • Previously it would leave these to be resolved by the checker which lead to an "AmbiguousMetaVar" error - not helpful!

2024-07-24

What's Changed

• Add record support by @chrisdone in #23

New Contributors

• @chrisdone made their first contribution in #23

Full Changelog: 2024-07-15...2024-07-24