Skip to content

Releases: fugue/fregot

v0.14.2

27 Jun 13:20
Compare
Choose a tag to compare
 -  0.14.2 (2022-06-27)
     *  Support `every in`

v0.14.1

24 Jun 17:58
Compare
Choose a tag to compare
 -  0.14.1 (2022-06-24)
     *  Build binaries in github actions
     *  Upgrade dependencies

v0.13.4

03 Mar 15:18
Compare
Choose a tag to compare
 -  0.13.4 (2021-03-03)
     *  Improvements to object unification
     *  Supported nested `==` expressions, e.g. `good := (1 == 1)`.
     *  New builtins:
         -  `object.union`
         -  `regex.find_all_string_submatch_n`
         -  `regex.find_n`

v0.13.3

10 Feb 13:27
Compare
Choose a tag to compare
 -  0.13.3 (2021-02-10)
     *  Bump `vector` dependency, GHC version and stackage LTS.

v0.13.1

10 Dec 12:15
Compare
Choose a tag to compare
 -  0.13.1 (2020-12-10)
     *  Upgrade `lens`, `tasty` and `haskeline` dependencies.
     *  Build a static executable for the Linux binary release.

v0.13.0

25 Nov 18:00
20b6fde
Compare
Choose a tag to compare
 -  0.13.0 (2020-11-25)
     *  New builtins:
         -  `abs`
         -  `bits.and`
         -  `bits.lsh`
         -  `bits.negate`
         -  `bits.or`
         -  `bits.rsh`
         -  `bits.xor`
         -  `graph.reachable`
         -  `is_null`
         -  `json.is_valid`
         -  `json.patch`
         -  `numbers.range`
         -  `object.get`
         -  `regex.is_valid builtins`
         -  `regex.match`
         -  `type_name`
         -  `yaml.is_valid`
         -  `yaml.marshal`
         -  `yaml.unmarshal`
     * New features:
         -  Add `--{,no-}strict-builtin-errors` flags
         -  Add an -O flag to explicitly turn on optimizations.
            This will enable the optimizations even when debugging: see #229.
         -  Support indirect references, e.g. `split("foo/bar")[_]`
         -  Add `fregot capabilities` subcommand
         -  Add a verbosity flag to silence the repl
     * Other improvements:
         -  Refactor type checking for builtins to construct a shallow as well
            as a deep embedding of the type, used for type checking and type
            printing respectively
         -  Use the new typing mechanisms to improve the flow typing for:
             *  `array.concat`
             *  `array.slice`
             *  `intersection`
         -  Coerce immediately on specific type tests in Infer.  This improves
            type checking in the presence of `is_null`, `is_array`, ... kinds of
            functions
         -  Better error when failing to unify a function type
         -  Only use colors if we detect that `stderr` / `stdout` supports ANSI
         -  Sort the row context in the REPL to make it deterministic
         -  `min`/`max` should return undefined rather than `null`

v0.12.3

02 Sep 14:58
b2c1a72
Compare
Choose a tag to compare
 -  0.12.3 (2020-09-02)
     *  Fix a bug in indexing set rules using literal values.
     *  Improve typing for arrays.  We allow more granular, per-index types
        which is especially helpful when using arrays as tuples.

v0.12.2

07 Aug 10:20
69f2160
Compare
Choose a tag to compare
 -  0.12.2 (2020-08-07)
     *  Support using data imports as variables directly

v0.12.1

06 Aug 16:13
be8aa21
Compare
Choose a tag to compare
 -  0.12.1 (2020-08-06)
     *  Add `object.remove`
     *  Add `object.filter`
     *  Fix issue in how and when we ground rule indices
     *  Fix issue with `foo` when using `import input.foo`
     *  Sort undefined vars in error message
     *  Internals: Allow unification to restrict types and terms

v0.12.0

15 Jul 12:43
Compare
Choose a tag to compare
 -  0.12.0 (2020-07-15)
     *  Add comprehension index optimization.
     *  Add `array.slice` builtin.
     *  Rewrite `==` as just `=`.
     *  Add a `--dump` flag to get specific debug info.
     *  Fix: Some uses `,` not `.` for multiple declarations.
     *  Add support for declaring rules using `:=`.
     *  Improve warning about new packages.
     *  Add `trace` builtin.
     *  Allow prefixing data into packages.
     *  Allow :load-ing JSON and YAML files from the REPL.