From 403059acacfd981b18dcd475f5555e95a8b6da3d Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Wed, 1 Nov 2017 14:41:36 -0700 Subject: [PATCH] doc(doc/changes): document change in the code generator --- doc/changes.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/doc/changes.md b/doc/changes.md index 1e2e086207..a7299d3d49 100644 --- a/doc/changes.md +++ b/doc/changes.md @@ -12,6 +12,12 @@ master branch (aka work in progress branch) - Unicode escape characters in string and char literals. For example, `'\u03B1'` is equivalent to `'α'`. +- Predictable runtime cost model for recursive functions. The equation compiler uses + different techniques for converting recursive equations into recursors and/or + well-founded fixed points. The new approach used in the code generator ignores + these encoding tricks when producing byte code. So, the runtime cost model + is identical to the one in regular strict functional languages. + *Changes* - `string` is now a list of unicode scalar values. Moreover, in the VM,