Skip to content

Latest commit

 

History

History
579 lines (471 loc) · 20.6 KB

CHANGELOG.md

File metadata and controls

579 lines (471 loc) · 20.6 KB

Change Log

All notable changes to the Pony compiler and standard library will be documented in this file. This project adheres to Semantic Versioning and Keep a CHANGELOG.

[unreleased] - unreleased

Fixed

  • Fix false positive test failure on 32 bits (PR #1749)

Added

Changed

[0.11.4] - 2017-03-23

Fixed

  • Identity comparison of boxed values (PR #1726)
  • Reify type refs in inherited method bodies (PR #1722)
  • Fix compilation error on non-x86 systems (PR #1718)
  • Call finalisers for embedded fields when parent type has no finalizer. (PR #1629)
  • Fix compiling errors for 32-bit (PR #1709)
  • Improved persistent map api (RFC 36) (PR #1705)
  • Fix compiler assert on arrow to typeparam in constraint. (PR #1701)
  • Segmentation fault on runtime termination.

[0.11.3] - 2017-03-16

Fixed

  • Build Linux release binaries correctly (PR #1699)

[0.11.2] - 2017-03-16

Fixed

  • Fix illegal instruction errors on older cpus when using packaged Pony (PR #1686)
  • Correctly pass arch= when building docker image (PR #1681)

[0.11.1] - 2017-03-14

Fixed

  • Fix AVX/AVX2 issues with prebuilt ponyc (PR #1663)
  • Fix linking with '--as-needed' (sensitive to linking order) (PR #1654)
  • Fix FreeBSD 11 compilation

[0.11.0] - 2017-03-11

Fixed

  • Make HTTPSession type tag by default (PR #1650)

  • Fix type parameters not being visible to a lambda type in a type alias (PR #1633)

  • Remove the check for union types on match error (PR #1630)

  • TCPListener: unsubscribe asio before socket close (PR #1626)

  • Fix buffer overflow in case method docstring (PR #1615)

  • Fix capability checking for gencap-constrained type parameters. (PR #1593)

  • Fix error in ANTLR grammar regarding duplicate '-~'. (#1602) (PR #1604)

  • Escape special characters in ANLTR strings. (#1600) (PR #1601)

  • Use LLVM to detect CPU features by default if --features aren't specified. (PR #1580)

  • Always call finalisers for embedded fields (PR #1586)

  • Check for null terminator in String._append (PR #1582)

  • Fix TCP Connection data receive race condition (PR #1578)

  • Fix Linux epoll event resubscribe performance and race condition. (PR #1564)

  • Correctly resubscribe TCPConnection to ASIO events after throttling (PR #1558)

  • Performance fix in the runtime actor schedule (PR #1521)

  • Disallow type parameter names shadowing other types. (PR #1526)

  • Don't double resubscribe to asio events in TCPConnection (PR #1509)

  • Improve Map.get_or_else performance (PR #1482)

  • Back pressure notifications now given when encountered while sending data during TCPConnection pending writes

  • Improve efficiency of muted TCPConnection on non Windows platforms (PR #1477)

  • Compiler assertion failure during type checking

  • Runtime memory allocator bug

  • Compiler crash on tuple sending generation (issue #1546)

  • Compiler crash due to incorrect subtype assignment (issue #1474)

  • Incorrect code generation when sending certain types of messages (issue #1594)

  • Add assert_no_error test condition to PonyTest (PR #1605)

  • Expose st_dev and st_ino fields of stat structure (PR #1589)

  • Packed structures (RFC 32) (PR #1536)

  • Add insert_if_absent method to Map (PR #1519)

  • Branch prediction annotations (RFC 30) (PR #1528)

  • Readline interpret C-d on empty line as EOF (PR #1504)

  • AST annotations (RFC 27) (PR #1485)

  • Unsafe mathematic and logic operations. Can be faster but can have undefined results for some inputs (issue #993)

  • Equality comparison for NetAddress (PR #1569)

  • Host address comparison for NetAddress (PR #1569)

  • Remove delegates (RFC 31) (PR #1534)

  • Upgrade to LLVM 3.9.1 (PR #1498)

  • Deprecate LLVM 3.6.2 support (PR #1511) (PR #1502) (PR ##1512)

  • Ensure TCPConnection is established before writing data to it (issue #1310)

  • Always allow writing to _ (dontcare) (PR #1499)

  • Methods returning their receiver to allow call chaining have been changed to return either None or some useful value. Generalised method chaining implemented in version 0.9.0 should be used as a replacement. The full list of updated methods follows. No details means that the method now returns None.

    • builtin.Seq
      • reserve
      • clear
      • push
      • unshift
      • append
      • concat
      • truncate
    • builtin.Array
      • reserve
      • compact
      • undefined
      • insert
      • truncate
      • trim_in_place
      • copy_to
      • remove
      • clear
      • push
      • unshift
      • append
      • concat
      • reverse_in_place
    • builtin.String
      • reserve
      • compact
      • recalc
      • truncate
      • trim_in_place
      • delete
      • lower_in_place
      • upper_in_place
      • reverse_in_place
      • push
      • unshift
      • append
      • concat
      • clear
      • insert_in_place
      • insert_byte
      • cut_in_place
      • replace (returns the number of occurrences replaced)
      • strip
      • lstrip
      • rstrip
    • buffered.Reader
      • clear
      • append
      • skip
    • buffered.Writer
      • reserve
      • reserve_chunks
      • number writing functions (e.g. u16_le)
      • write
      • writev
    • capsicum.CapRights0
      • set
      • unset
    • collections.Flag
      • all
      • clear
      • set
      • unset
      • flip
      • union
      • intersect
      • difference
      • remove
    • collections.ListNode
      • prepend (returns whether the node was removed from another List)
      • append (returns whether the node was removed from another List)
      • remove
    • collections.List
      • reserve
      • remove
      • clear
      • prepend_node
      • append_node
      • prepend_list
      • append_list
      • push
      • unshift
      • append
      • concat
      • truncate
    • collections.Map
      • concat
      • compact
      • clear
    • collections.RingBuffer
      • push (returns whether the collection was full)
      • clear
    • collections.Set
      • clear
      • set
      • unset
      • union
      • intersect
      • difference
      • remove
    • files.FileMode
      • exec
      • shared
      • group
      • private
    • files.File
      • seek_start
      • seek_end
      • seek
      • flush
      • sync
    • time.Date
      • normal
    • net.http.Payload
      • update (returns the old value)
    • net.ssl.SSLContext
      • set_cert
      • set_authority
      • set_ciphers
      • set_client_verify
      • set_server_verify
      • set_verify_depth
      • allow_tls_v1
      • allow_tls_v1_1
      • allow_tls_v1_2

  • TCP sockets on Linux now use Epoll One Shot

  • Non-sendable locals and parameters are now seen as tag inside of recover expressions instead of being inaccessible.

  • TCP sockets on FreeBSD and MacOSX now use Kqueue one shot

  • All arithmetic and logic operations are now fully defined for every input by default (issue #993)

  • Removed compiler flag --ieee-math

  • The pony_start runtime function now takes a language_features boolean parameter indicating whether the Pony-specific runtime features (e.g. network or serialisation) should be initialised

[0.10.0] - 2016-12-12

Fixed

  • Don't violate reference capabilities when assigning via a field (PR #1471)

  • Check errors correctly for method chaining (PR #1463)

  • Fix compiler handling of type params in stacks (issue #918) (PR #1452)

  • Fix String.recalc method for cases where no null terminator is found (issue #1446) (PR #1450)

  • Make space() check if string is null terminated (issue #1426) (PR #1430)

  • Fix is_null_terminated reading arbitrary memory (issue #1425) (PR #1429)

  • Set null terminator in String.from_iso_array (issue #1435) (PR #1436)

  • Extra DTrace/SystemTap probes concerning scheduling.

  • Update from_array to prevent a copy (issue #1097) (PR #1423)

[0.9.0] - 2016-11-11

Fixed

  • Stop leaking memory during serialization (issue #1413) (PR #1414)

  • Fixed compiler segmentation fault when given an invalid target triple. (PR #1406)

  • Fixed error message when no type arguments are given (issue #1396) (PR #1397)

  • Fixed compiler assert failure when constructor is called on type intersection (issue #1398) (PR #1401)

  • Fix compiler assert fail on circular type inference error (issue #1334) (PR #1339)

  • Performance problem in the scheduler queue when running with many threads (issue #1404)

  • Invalid name mangling in generated C headers (issue #1377)

  • Iter class methods all, any, collect, count, find, last, nth, run, skip, skip_while, take, take_while (issue #1370)

  • Output of ponyc --version shows C compiler used to build pony (issue #1245)

  • Makefile detects llvmconfig39 in addition to llvm-config-3.9 (#1379)

  • LLVM 3.9 support

[0.8.0] - 2016-10-27

Fixed

  • Link the correct version of libponyrt when compiling with --pic on Linux (issue #1359)

  • Floating point min_normalised. The function returns the smallest normalised positive number, as min_value used to do (issue #1351)

[0.7.0] - 2016-10-22

Fixed

  • Concatenate docstrings from case methods (issue #575).

  • Allow TCP notifiers to cause connections to yield while receiving (issue #1343)

  • The for loop will now break out of the loop instead of continuing with the following iterations if Iterator.next errors.

[0.6.0] - 2016-10-20

Fixed

  • Compiling ponyrt with Clang versions >= 3.3, < 3.6.

  • Restrict mutable tuple recovery to maintain reference capability security (issue #1123)

  • Crash in the runtime scheduler queues

  • String.cstring() now always returns a null-terminated string (which may result in a copy) while cpointer() (also available on Array objects) returns a pointer to the underlying array as-is (issue #1309).

[0.5.1] - 2016-10-15

Fixed

  • SSLConnection ignoring the sent notifier method (issue #1268)
  • Runtime crash in the runtime scheduler queues (issue #1319)

[0.5.0] - 2016-10-09

Fixed

  • Memory copy bounds for String.clone (issue #1289).

  • Security issues in ProcessMonitor (issue #1180)

  • SSLConnection bugs due to missing sentv notify method (issue #1282)

  • read_until method on buffered.Reader (RFC 0013)

  • format package (issue #1285)

  • Remove unused error types from ProcessError (issue #1293)

  • HTML documentation for expanded union types now adds line breaks to improve readability (issue #1263)

[0.4.0] - 2016-09-26

Fixed

  • Unexpected message ordering in ProcessManager (issue #1265)

[0.3.3] - 2016-09-23

Fixed

  • Incorrect build number generated on Windows when building from non-git directory.

  • Stop generating llvm.invariant.load for fields of val references.

  • Embedded fields construction through tuples.

  • ProcessMonitor.expect

  • ProcessNotify.created

  • ProcessNotify.expect

[0.3.2] - 2016-09-18

Fixed

  • The ponyc version is now consistently set from the VERSION file.

  • Stop generating llvm.invariant.load intrinsic for "let" references, as these don't necessarily match the semantics of that intrinsic.

  • LTO is again enabled by default on OSX

  • make now builds a release rather than debug build by default

[0.3.1] - 2016-09-14

Fixed

  • Make sure all scheduler threads are pinned to CPU cores; on Linux/FreeBSD this wasn't the case for the main thread.

  • Account for both hyperthreading and NUMA locality when assigning scheduler threads to cores on Linux.

  • Stop generating llvm.invariant.start intrinsic. It was causing various problems in code generation.

  • Buffer overflow triggerable by very long ponyc filename (issue #1177).

  • Assertion failure in optimisation passes.

  • Race condition in scheduler queues on weakly-ordered architectures.

  • Issue #1212 by reverting commit e56075d46d7d9e1d8c5e8be7ed0506ad2de98734

  • --ponynopin runtime option for not pinning any threads at all.

  • Map.upsert returns value for upserted key rather than this.

  • ponyc --version now includes llvm version in its output.

  • LTO is now disabled by default on OSX.

[0.3.0] - 2016-08-26

Fixed

  • Check for Main.create before reachability analysis.

  • Interface subtyping need not be invariant on type args.

  • @fowles: handle regex empty match.

  • @praetonus: readline history handling.

  • Put unbox constructors on machine words into the vtable.

  • @jonas-l: parse URL with omitted password.

  • Adjust for ephemerality in cap_single().

  • Finalisation always occurs.

  • Type checking platform dependent FFI declarations on all platforms.

  • Interface subtyping takes receiver capabilities into account.

  • Pony-as-library support, particularly pony_register_thread().

  • Bug in HashMap._search.

  • Crashing gc bug caused by "force freeing" objects with finalizers.

  • Bug in String.compare and String.compare_sub.

  • Crashing gc bug from using get instead of getorput in gc_markactor.

  • Add -rpath to the link command for library paths

  • Simplify contains() method on HashMap.

  • Lambda captures use the alias of the expression type.

  • Trace boxed primitives in union types.

  • Use -isystem for LLVM include directory only if it is not in search path.

  • Union tuples as return type with machine words (issue #849)

  • Incorrect " handling in character literals

  • Incorrect ' handling in string literals

  • Compiler crash on type alias of a lambda type.

  • Late detection of errors silently emitted in lexer/parser.

  • Compiler crash when handling invalid lambda return types

  • Memory leak fixed when something sent as iso is then sent as val.

  • Compiler crash when handling object literal with uninitialized fields.

  • Associate a nice name with function types based on the type of the function.

  • Use the nice name for types when generating documentation.

  • Compiler crash when generating C library for the exported actors containing functions with variadic return type contatining None

  • AST Printing of string literals with quote characters.

  • HTTP/1.1 connections are now persistent by default.

  • Runtime crash when Main.create is a function instead of a constructor.

  • Compiler bug where as operator with a lambda literal caused seg fault.

  • String.read_int failure on lowest number in the range of signed integers.

  • Regex incorrect of len variable when PCRE2_ERROR_NOMEMORY is encountered.

  • No longer silently ignores lib paths containing parens on Windows.

  • Make linking more dynamic and allow for overriding linker and linker arch.

  • Fix issue with creating hex and octal strings if precision was specified.

  • Correctly parses Windows 10 SDK versions, and includes new UCRT library when linking with Windows 10 SDK.

  • Performance of Array.append and Array.concat (no unnecessary calls to push).

  • Performance of Map.upsert and Map.update (don't replace existing keys)

  • Segmentation fault from allocating zero-sized struct.

  • Segmentation fault from serialising zero-sized array.

  • Assertion failure from type-checking in invalid programs.

  • Make the offset parameter of String.rfind inclusive of the given index.

  • 32-bit X86 port.

  • Embedded fields.

  • C-style structs.

  • Maybe[A] to encode C-style structs that aren't present.

  • OpenFile and CreateFile primitives to return well-typed errors.

  • @fowles: String.join

  • Array slice, permute, reverse.

  • Pooltrack and telemetry runtime builds.

  • ifdef expressions for platform dependent code.

  • User specified build flags.

  • Pure Pony implementation of 128 bit integer maths for 32-bit platforms.

  • UDP broadcast for both IPv4 and IPv6.

  • Message batching.

  • Case functions.

  • Timeouts for PonyTest long tests.

  • contains() method on HashMap

  • contains() method on HashSet

  • Support for empty sections in ini parsing.

  • --verbose,-V option for compiler informational messages.

  • Logger package

  • ArrayValues.rewind() method.

  • Nanos primitive in time package.

  • Persistent package, with List and Map

  • Custom chunk size for Stdin.

  • Itertools package

  • TCPConnection.expect

  • TCPConnectionNotify.sentv

  • HashMap.get_or_else

  • ponytest TestHelper.expect_action, complete_action, and fail_action

  • ponytest TestHelper.dispose_when_done

  • copysign and infinite for floating point numbers

  • contains() method on Array

  • GC tracing with acquire/release semantics.

  • pony_alloc_msg_size runtime function

  • net/WriteBuffer

  • serialise package.

  • optional parameter in json objects, arrays, and doc to turn on pretty printing

  • DoNotOptimise primitive

  • compact method for Array and String

  • String.push_utf32() method.

  • Allow the use of a LLVM bitcode file for the runtime instead of a static library.

  • add iterators to persistent/Map (keys(), values(), and pairs())

  • add notification of terminal resize

  • trim and trim_in_place methods for Array and String.

  • is_null_terminated and null_terminated methods for String.

  • from_iso_array constructor on String.

  • Sort primitive

  • PonyBench package

  • Improved type checking with configuration management.

  • Improved realloc behaviour after heap_alloc_large.

  • Set-based upper bounds for generic constraints.

  • Moved the position of a default capability in a type specification.

  • Replaced '&' with 'addressof' for taking address in FFI calls.

  • @jemc: use half-open ranges for String operations.

  • Improved TCPConnection with a dynamically size of buffers

  • Drop dynamic LTO detection in the build system.

  • Parameterized Array.find and Array.rfind with a comparator.

  • this-> adapted types check match on the upper bounds.

  • Renamed identityof to digestof.

  • Moved and renamed net/Buffer to buffered/Reader and buffered/Writer.

  • Print compiler error and info messages to stderr instead of stdout.

  • Hashmap.concat now returns this rather than None

  • Only allow single, internal underscores in numeric literals.

  • ponyc --version now includes the build type (debug/release) in its output.

  • Strings now grow and shrink geometrically.

  • Embedded fields can now be constructed from complex expressions containing constructors

  • Sendable members of non-sendable objects can be used in recover expressions in certain cases.

  • ProcessNotify functions are passed a reference to ProcessMonitor.

  • The constructor of Options doesn't require an Env anymore but just a simple String array.

[0.2.1] - 2015-10-06

Fixed

  • Check shallow marking in heap_ismarked.

[0.2.0] - 2015-10-05

  • Compile and link with LTO.

  • Use Pointer[None] for void* in FFI.

  • Root authority capability in Env.

  • Fine grained capabilities for files and directories.

  • Use Capsicum on FreeBSD.

  • Apply can be sugared with type arguments.

  • Search pony_packages directories for use commands.

  • Buffer peek functions (@jemc)

  • collections/Ring

  • Promises package

  • abs() now returns an unsigned integer.

  • Improved memory allocation speed.

  • Reduced memory pressure.

  • Scheduler steals when only the CD is on a scheduler thread queue.

  • use commands searches ../pony_packages recursively similar to Node.js

  • Readline uses a Promise to handle async responses.

Fixed

  • Handle internal pointers and recursion.
  • Allow recursing through non-pony alloc'd memory in GC.
  • Set an LLVM triple with no version stamp to prevent XCode 7 link warnings.
  • use "path:" adds link paths only for the current build.
  • Handle null characters in Strings and string literals.

[0.1.7] - 2015-06-18

  • Output directory now created if it doesn't already exist.
  • Improvements to automatic documentation generator.
  • Union type for String.compare result.

Fixed

  • Viewpoint adaptation with a type expression on the left-hand side.

[0.1.6] - 2015-06-15

  • FreeBSD 10.1 support, thanks to Ben Laurie.

  • Allow method calls on union types when the signatures are compatible.

  • Subtyping of polymorphic methods.

  • Primitive _init and _final for C library initialisation and shutdown.

  • collections.Flags

  • lambda sugar.

  • Operators on Set and Map are now persistent.

  • use "file:..." becomes use "package:..."

  • Allow "s at the end of triple-quoted strings.

  • Allow behaviours and functions to be subtypes of each other.

Fixed

  • ANSI stripping on zero length writes to stdout/stderr.
  • More OS X 10.8 compatibility.
  • SSL multithreading support.
  • Nested tuple code generation.
  • Only finalise blocked actors when detecting quiescence.
  • URL parse error.

[0.1.5] - 2015-05-15

Fixed

  • OS X 10.8 compatibility.

[0.1.4] - 2015-05-14

  • The for sugar now wraps the next() call in a try expression that does a continue if an error is raised.

  • The lexer now allows underscore characters in numeric literals. This allows long numeric literals to be broken up for human readability.

  • "Did you mean?" support when the compiler doesn't recognise a name but something similar is in scope.

  • Garbage collection and cycle detection parameters can now be set from the command line.

  • Added a FileStream wrapper to the file package.

Fixed

  • Check whether parameters to behaviours, actor constructors and isolated constructors are sendable after flattening, to allow sendable type parameters to be used as parameters.
  • Eliminate spurious "control expression" errors when another compile error has occurred.
  • Handle circular package dependencies.
  • Fixed ponyc options issue related to named long options with no arguments
  • Cycle detector view_t structures are now reference counted.