All Versions
Latest Version
Avg Release Cycle
48 days
Latest Release
427 days ago

Changelog History
Page 4

  • v0.5.0 Changes

    July 01, 2017

    Highlights for 0.5 include code formatting of gluon code and automatic marshalling between Rust and Gluon through serde. Formatting can be done either via the gluon fmt sub-command or with ๐Ÿ”Œ directly in Visual Studio Code with the [language-server plugin][].

    ๐Ÿ‘ Type errors should now be formatted much better and have more precise types.

    ๐Ÿ”Œ [language-server plugin]:

    ๐Ÿ› Bug Fixes

    • Separate all errors with a newline (86f159fd)
    • check:
      • Indent types in error messages correctly (13a7f52c)
      • Report clearer errors when aliases do not match (2ea68654)
      • Don't leak inference variables out to type errors (ef1d584b, closes #292)
    • ๐Ÿ“œ parser: Give correct location information for unindentation errors (30541c1e)
    • pretty: Always format empty records as unit types (03f07f16)
    • vm:
      • Only allocate enough memory for a ValueArray when appending arrays (abe7a4b2)
      • Fix the debug printing of GcStr and ValueArray (5566b518)

    ๐Ÿ”‹ Features

    • Add a fmt sub-command to the gluon executable (b9c6ea6c)
    • Bump version of pretty (29808fce)
    • base:
      • Display applied and function types better during multi line splits (3fff91eb)
      • Add basic pretty printing of expressions (68b3bb97)
    • check: Auto complete pattern matches (712dc412)
    • ๐Ÿ“œ parser:
      • Allow partial parsing of alternatives when only the | exists (cbe698f7)
      • Allow partial parsing when patterns are missing (e3285428)
      • (Re-)add negative numbers to the language (65dfc1ac)
    • vm:
      • Merge the Tag and Data variants of ValueRef (ed7330d1)
      • Add deserialization from gluon values (6b98e29c)
      • Allow automatic marshalling from Rust to gluon objects via serde (8318e341)
  • v0.4.1 Changes

    May 23, 2017

    ๐Ÿ”‹ Features

    • Add the list function for simple Array to List conversion (89019cef, closes #284)
  • v0.4.0 Changes

    May 16, 2017

    ๐Ÿ”– Version 0.4.0 is a primarily a bug fix release with only a single significant feature as the upcoming features are all still WIP.

    ๐Ÿ”‹ Features

    • ๐Ÿ“œ Name the the parser's tokens fit better in error messages (33f733c8)
    • Use the async branch of hyper in the http example (46f1dc39)
    • http: Add multiple routes for the http server example (e93109d0)
    • repl: Allow binding variables in the repl for later use (4f0dcf99)

    ๐Ÿ› Bug Fixes

    • ๐Ÿ“œ Display what tokens are expected when the parser fails (6925c7b5, closes #270)
    • โšก๏ธ Update the http server example to conform to a newer hyper version (c841e4f3)
    • check:
      • When checking record constructors, include the type fields in the guess (60d8cb0b)
      • Don't guess a record type when the field list is empty (9db233a0)
    • http: Move the handler creation of the http server to a file (248474e6)

    ๐ŸŽ Performance

    • Reuse an existing Kind::Type instance when creating a type variable (81befe0c)
    • Add a kind cache as well to mirror the type cache (f3c9efd2)
    • Reuse the Arc pointers for builtin types (ff3ab278)
  • v0.3.0 Changes

    February 01, 2017

    ๐Ÿ”– Version 0.3.0 improves the experience of writing gluon by a significant amount thanks to a few ๐Ÿ“œ different improvements. The main reason for this is the rewrite of gluon's parser to use LALRPOP ๐Ÿ“œ which just started with the intent of making the parser easier to maintain but with error recovery โž• added to LALRPOP the parser is now able to typecheck broken code which is used to drive code completion.

    Another big addition to the usability of gluon is that an experimental debugger has been added to the ๐Ÿ”Œ visual code plugin! This initial implementation provides breakpoints, pausing and variable inspection.

    ๐Ÿ‘ Lastly gluon has gotten support for asynchronous functions through tokio! It is now possible to write Rust functions which return a Future and gluon will automatically suspend the running gluon program and return a new future which drives the program until completion. As an example of this a http server ๐Ÿš€ built on hyper is currently in the PR queue just waiting for a tokio based release of hyper.

    ๐Ÿ› Bug Fixes

    • Ensure that the gluon library can be built without any features (347adea5)
    • ๐Ÿ–จ Print closures as name: value using debug information (880e6006)
    • Allow lambdas to appear on the right side of an infix expression (1f587349)
    • ๐Ÿ“œ Avoid rebuilding the parser crate even if nothing has changed (322e7ed2)
    • Don't panic when compiling partially compiled constructors (6fb552ea, closes #202)
    • check:
      • Don't leak Type::Ident outside of aliased types (9156a5e9)
      • Only mark the span of let and type expressions body (717e08e9)
      • Fill in the unified types of function arguments properly (b5db5728)
    • compiler:
      • Correctly close the debug variable information (1cfa5862)
      • Pop the correct amount of variables in the compiler (99bf9343)
    • completion: Don't pick the wrong types from unordered record patterns (f283de18)
    • ๐Ÿ“œ parser:
      • Don't loop forever from inserting default blocks (a2f18f33)
      • Recover from extra tokens before an in token (4857fe95)
    • vm:
      • Allow hook functions to return asynchronous results (52820e94)
      • Don't introduce an Unknown scope when calling functions (f4f81fd7)
      • Don't return an error for exiting to a locked scope (81f6d956)
      • Don't emit line information for macro expanded code (4f056beb)
      • Deep clone OpaqueValue when it is sent between disjoint threads (ba7f316c)
      • Make get_global's type check act as a type signature check (eee79952)
      • Implement Getable for Function (73f4feb0)

    ๐ŸŽ Performance

    • Allocate AppVec directly instead of using intermediate Vecs (b0bc41f2)
    • Use SmallVec in the Type::App variant (a26c1062)

    ๐Ÿ”‹ Features

    • Make load_script return a future (a8df68a5)
    • ๐Ÿ”€ Add a future which can avoid creating an event loop for sync calls (d2132fc8)
    • Implement explicit kinds on type alias parameters (8a82cfdd)
    • Allow querying the number of frames on the stack in the debug api (a012274c)
    • Provide the index for each local through the debug interface (6ba5b44f)
    • Add a function to query upvars from a Frame (cf67386a)
    • Add a compiler option for controlling whether to emit debug information (6c552806)
    • Add an iterator over upvariable names (a098c902)
    • Allow the hook to yield and later resume execution (2aea009f)
    • Add variable name retrieval for the debug interface (aa47e4dd)
    • Add an extra parameter to HookFn which can be queried for debug information (01a041a9)
    • Add flags to control when the hook function is called (29230dbe)
    • ๐Ÿ–จ Allow the width to be specified in the value printer (1481f3f4)
    • ๐Ÿ–จ Allow the value printer to limit the depth of the printed value (8d92cf08)
    • ๐Ÿ“œ Rewrite parser using LALRPOP (cc3d3267)
    • Add a macro for encoding gluon records into rust types (1d5f67b3)
    • Add a macro for describing gluon record patterns (e0151e2f)
    • ๐Ÿ“œ Visit and reparse all nested infix expressions (0c531107)
    • ๐Ÿ“œ parser: Return valid a valid AST after parsing an invalid expression (1cdd0e31)
    • vm:
      • Make the compiler pipeline return futures for executing (c0d355e2)
      • Allow extern functions to return futures (120f9d1d)
      • Add types to all variables in the debug info (38674f1f)
      • Add a pretty printer on vm values (0288e0a4)
      • Add a from_ut8 method for converting Array Byte into String (a336a49f)
      • Implement clone on OpaqueValue and Function (b56549c4)
  • v0.2.0 Changes

    September 25, 2016

    ๐Ÿ”– Version 0.2.0 consists of a few critical bug fixes, numerous usability improvements such as prettier printing of types and auto completion in the REPL as well as two additions to the language itself.

    ๐Ÿ— Row-polymorphic records are added to the type system (albeit in a slightly limited capacity) as well as type holes. More additions building on these features will be added in a backwards compatible way in upcoming versions.

    ๐Ÿ‘€ In addition to the user visible changes listed here the internals have seen a lot of legacy cruft removed, in major part thanks to @brendanzab.

    ๐Ÿ”‹ Features

    • ๐Ÿ“œ Use InFile to display source information for parse errors (7026d8a3)
    • Use starts_with and ends_with from Rust instead of gluon (5144ee29)
    • ๐Ÿ–จ Rename io.print to io.println and add io.print (0a6b65bd)
    • Implement unification of row polymorphic records (df007c6e)
    • Improve readability of large types by splitting them onto multiple lines (1c296ac9)
    • ๐Ÿ— Add holes to the type syntax, and use them when building the AST (fb9bd82c)
    • Rename (*) to Type (8a3e1945)
    • Repl UX improvements (2ed0a35b)
    • base: Use quick-error for instantiate::Error (96a8c631)
    • check:
      • Attempt to generate variable starting with a unique letter (f3c2e625)
    • ๐Ÿ“œ parser:
      • Use string slices in tokens (e0b7d840)
      • Emit spans from the lexer instead of just locations (e2a17a3a)
    • repl: Add completion to the repl (ee4d0b60)
    • vm:
      • Implement field access of polymorphic records (4696cedc)
      • Allow the heap size on each thread to be limited (f8a71f4c)
      • Return Result instead of Status in Pushable::push (584c3590)
      • read GLUON_PATH from env var and add to new_vm (#79) (e7254a40)

    ๐Ÿ› Bug Fixes

    • Don't gluon panic when writing only a colon (:) in the repl (7864c449)
    • ๐Ÿ–จ Only print a Stacktrace on panics (c059bfd3)
    • ๐Ÿ–จ Surround operators with parens when pretty-printing (7ccc6f22, closes #60)
    • ๐Ÿ Rename windows file separators characters ('\') to '.' as well (207bfc9a)
    • ๐Ÿ–จ Add a space before : when pretty printing types (a9b160c3)
    • ๐Ÿ–จ Print ',' as separator between each type of a record (d72d3e1b)
    • Don't return None from Source::location when byte is at end of file (5aee09a5)
    • check:
      • Fail typechecking when records use a field more than once (7bb8f0bd)
      • Handle unification with Type::Hole (2912727f)
      • Detect recursive types for which unification do not terminate (22b3c82e)
    • completion:
      • Give completion for local variables when pointing to whitespace (5c59a795)
    • repl:
      • Allow :i to be used on primitive types (fe458488)
      • Include the prelude when using :t (bb0f1347)

    ๐ŸŽ Performance

    • Use a single mutex for both the stack and gc (20fb0645)
    • use fnv instead of SipHasher for HashMaps. add type FnvMap (#106) (4a64c68d)

    • check:

      • Avoid traversing the entire stack when generalizing (29352bc3)
      • Avoid recreating new App instances in unroll_app unnecessarily (ba4db236)