Download Latest Version linux-arm64.tar.gz (11.9 MB)
Email in envelope

Get an email when there's a new version of PureScript

Home / v0.15.11
Name Modified Size InfoDownloads / Week
Parent folder
linux64.sha 2023-09-29 64 Bytes
linux64.tar.gz 2023-09-29 10.5 MB
macos.sha 2023-09-29 62 Bytes
macos.tar.gz 2023-09-29 5.5 MB
win64.sha 2023-09-29 69 Bytes
win64.tar.gz 2023-09-29 13.3 MB
linux-arm64.sha 2023-09-29 68 Bytes
linux-arm64.tar.gz 2023-09-29 11.9 MB
macos-arm64.sha 2023-09-29 68 Bytes
macos-arm64.tar.gz 2023-09-29 17.8 MB
README.md 2023-09-29 1.8 kB
v0.15.11.tar.gz 2023-09-29 872.7 kB
v0.15.11.zip 2023-09-29 1.6 MB
Totals: 13 Items   61.3 MB 0

New features:

  • Move the closed record update optimization (#4489 by @rhendric)

For consumers of CoreFn like alternate backends, the optimization of replacing a closed record update with an object literal has now been moved to the point of desugaring CoreFn into JS. The ObjectUpdate expression constructor now contains a Maybe field holding a list of record labels to be copied as-is, for backends that want to perform this optimization also.

  • Allow instances that require Fail to be empty (#4490 by @rhendric)

A class instance declaration that has Prim.TypeError.Fail as a constraint will never be used. In light of this, such instances are now allowed to have empty bodies even if the class has members.

(Such instances are still allowed to declare all of their members, and it is still an error to specify some but not all members.)

Bugfixes:

  • Stop emitting warnings for wildcards in Visible Type Applications (#4492 by @JordanMartinez)

Previously, the below usage of a wildcard (i.e. _) would incorrectly cause the compiler to emit a warning.

```purs f :: forall @a. a -> a f = identity

x :: { x :: Int } x = f @{ x :: _ } { x: 42 } ```

  • Infer types using VTA inside a record (#4501 by @JordanMartinez)

Previously, use would fail to compile because the v type variable would not be inferred to String. Now the below code compiles:

```purs reflect :: forall @t v . Reflectable t v => v reflect = reflectType (Proxy @t)

use :: String use = show { asdf: reflect @"asdf" } ```

Internal:

  • Use gh for release artifacts (#4493 by @rhendric)

  • Stop triggering CI on non-code-related changes (e.g. Readme) (#4502 by @JordanMartinez)

Source: README.md, updated 2023-09-29