New exceptions for static errors detected during analysis of free states.
[shapes.git] / VERSION
blobb9fa4bfdeec137957140ce27a1e8c7c822ce274f
1 0.5.0
2 The first line of this file shall be the last tagged version string.  The version history may be filled in at any time, but when a version is tagged, the current date shall be added on the first line of the release notes for the version being tagged.
4   Version history
5 ===================
7 ====( 0.5.0 )====
8 2009-05-18
10 Stepping the version from 0.4.x to 0.5.x is motivated by the arriaval of the interactive mode of the compiler.  The interactive mode could make it easier to teach and learn Shapes, and the it is also used extensively by the new debugging facility.  The debugging facility, represented by the debugger state #db (available in the interacitve mode only), provides common debugging tools such as examination of the current evaluation state (lexical and dynamic environments, and backtrace), breakpoints, and stepping.  While the true usefulness of the interactive mode during normal use of Shapes remains unclear, it implementation brings important improvements to the compiler design.
12 The shapes-mode for Emacs has been updated, and includes some support for the interactive mode (try it with "M-x run-shapes" in Emacs!).
14 This release also contains the new arrowhead <ShapesArrow>.  It generally looks better than <MetaPostArrow>, and replaces <MetaPostArrow> in most examples and extensions.
16 Now supporting the PDF feature to clip with a text object as mask.
18 More documentation.
20 Bugfixes include:
21 -  Random number generation was completely broken when compiling with recent gcc g++ compiler.
22 -  Installation of HTML documentation was broken, causing the documentation index.html to be overwritten by the "project web" index.html.
23 -  The PDF text state was not updated correctly in some situations.
26 ====( 0.4.3.1 )====
27 2009-03-10
29 This release combines compatibility fixes for GCC 4.3 with some install-related improvements.
31 Bugfixes include:
32 -  Sloppy C++ has been cleaned up to compile with GCC 4.3.
35 ====( 0.4.3 )====
36 2008-12-22
38 This release comes with many long awaited, but backwards incompatible changes.  Merry Christmas!
40 New string construction syntax.  There are now three ways to enter strings, two of which have no escape characters, and a third that is only partly human-readable.  Most notably, the newline is now entered as the four character construct "{n} (having no special meaning inside the human-readable strings).
42 New operator for sending one argument through a function from the left.  For instance, the following two lines are equivalent:
43   [stroke [immerse [circle 1cm]]]
44   [circle 1cm] >> immerse >> stroke
45 Note that the operator is left associative.
47 Changed operator precedence and associativity rules.  Biggest change is that [] is now left associative to give good support for hard-wired curry functions.  This means that all old chains of [], changes into chains of >> (in reversed left-right order).  The new priority of | allows many old parentheses to be removed, but needs only a few new to be inserted.  Operator precedence and associativity can now be found in the syntax documentation.
49 There is now a prelude.  The standard prelude relieves the user from bringing in the most common extensions with ##needs.
51 Many functions in the standard prelude were renamed.
53 Bleed boxes are used instead of bounding boxes to determine size of final page.  Used by TeX (which takes a setting from @TeX_bleed) to remedy an old problems with bounding boxes coming out slightly too small from pdfLaTeX.
55 Improved Emacs support.
57 More documentation.
59 Buxfixes include:
60 -  Prevention of endless elementary path computation.
61 -  Problems with thunks in user dynamic variable declarations.
62 -  Character encoding setting in the Emacs shapes-mode.
65 ====( 0.4.2.1 )====
66 2008-12-13
68 (Celebrating Gustaf's thirtieth birthday.)
70 This is primarily (but not only) a bugfix release.
72 Bugfixes:
73 -  For some build setups, not all xsl files were included in distributions.
74 -  Exponents in scientific notation.
75 -  Removed confusion regarding which dynamic environment to use in tack-on operations.
78 ====( 0.4.2 )====
79 2008-12-02
81 GPL and copyright notes have been inserted in all non-trivial files.
83 A logo has been introduced.  Do not consider it final!
85 New notation, including more ASCII fall-backs.  The change of notation for functions is not backwards compatible!
87 Introduced mutators for states.  Old, global, non-pure functions were removed -- not backwards compatible!
89 New shapes-mode for Emacs.
91 Stuff for transforms, including fields (components as well as predicates), a <chop> method, and a kind of real Schur decomposition in 3D.
93 Lots of new documentation.
95 Source code for methods of types in Shapes has been reorganized.
97 Bugfixes include:
98 -  Including FlexLexer.h in distribution.
99 -  Annoying internal errors when displaying source locations were removed.
102 ====( 0.4.1 )====
103 2008-10-16
105 (Celebrating my thirtieth birthday.)
107 Improved build process for the documentation.
109 Introducing exit codes.
111 Bugfixes include:
112 -  Building the correct index.html at the top of the HTML documentation.
113 -  Lost JPG files in the HTML documentation were found by correct handling of the percent sign in URIs.
116 ====( 0.4.0 )====
117 2008-10-05
119 The distribution contains the documentation now, making it complete.
121 Lots of new documentation.
123 Minor, but many, changes in the syntax of command line options.  Basically, all parameters but files and directories are given using the --param=val style.
125 The directory for temporary files can be created automatically, if allowed.
127 New operator, &|, that combines dynamic bindings with priority to the second argument.
129 Pages can be grouped to have equal media boxes.  At the moment, the media box will be the smallest that contains the bounding boxes of all pages in the group.  See the non-pure function setbboxgroup for more details.
131 The document can be split into one output file per page, see the --split=mode option.
133 Improvements relating to PDF versions including a separate setting for whether to use transparency in the kernel, and not marking the output file with a higher version than what is implied by the PDF features is uses.
135 Additions and improvements to some of the standard extensions.
137 Bugfixes include:
138 -  Intersection of straight line segments.
139 -  Sometimes, functions were associated with the wrong environment.
140 -  Escaping the '\' in PDF strings.
143 ====( 0.3.7 )====
144 2008-04-21
146 The previous version was broken.  This version has been verified by running "make distcheck".
149 ====( 0.3.6 )====
150 2008-04-20
152 Lots of new documentation, including substantial work on structure, crosslinks, and formatting.  So far the HTML format has been in focus.
154 Procedure application is limited to certain scoping rules to ensure that the function abstraction is not broken.
156 Improved output to help finding errors i TeX label strings, and a bug with the --tmpdir feature was remedied.
158 Changed command line syntax for boolean options changed; no more --no-someopt, instead we use --someopt=no (the "no" has some synonyms).
160 New features of all kinds, ranging from additions to the scanner to new state types and functions.
162 Also new application examples in 3D, code optimizations, and bugfixes.
165 ====( 0.3.5 )====
166 2007-12-06
168 The previous attempt to create a file for distribution failed.  This version is the second attempt.
171 ====( 0.3.4 )====
172 2007-12-03
174 Bugfixes, including one in the computation of elementary paths.  There also used to be a problem (since 0.3.2) with running pdfLaTeX in a different directory than where the Shapes source is located, since the meaning of relative file locations must be changed when source code is moved.
176 This is the first version planned for (very limited) distribution using the new build process.
179 ====( 0.3.3 )====
180 2007-11-21
182 Simple constants in the global environment were named back to their names before variables had to begin with lowercase letters.  For instance, rgb_RED changed back to RGB_RED.
185 ====( 0.3.2 )====
186 2007-11-21
188 New ways to specify files, both on the command line and through environment variables.
190 Further improved build process, and minor additions to the documentation.
193 ====( 0.3.1 )====
194 2007-11-05
196 Bugfixes required to make the project compile in the Cent environment.
198 More standardization.
201 ====( 0.3.0 )====
202 2007-11-03
204 First version with most references to old project names removed.
206 Slowly changing to a more standardized way to compile things, for better compilance with standard make tools in the future.
209 ====( 0.2.3 )====
210 2007-11-03
212 Upsampling has been added.  The interesting methods for upsampling only apply in 2D, but length-based upsampling is provided also in 3D.  Please note that there is no need to do upsample_inflections before doing upsample_bends, as this is done autimatically to ensure clear semantics.  The method upsample_balance samlpes the timewise midpoint of each segment, which I believe will make the speed equal in the incoming and outgoing side of the sample point.
214 Identifiers are again allowed to begin with uppercase letters.  Type names are prefixed with either a paragraph sign or a double slash.
216 This is planned to be the last version where anything "Drool" remains.
219 ====( 0.2.2 )====
220 2007-06-05
222 The interpreter now makes another pass of the code, checking variable bindings, function borders, and other static aspects of the code.  Type checking will hopefully fit in here in the future.  The three passes are:
223 1) Scan and parse
224 2) Analyze
225 3) Evaluate
227 The error reporting mechanism has been revised so that the errors found during static analysis are collected in a list, rather than throwing just the first we detect and then abort.
230 ====( 0.2.1 )====
231 2007-05-19
233 By now many feature examples have been compiled successfully, and the tests go through.
235 More importantly, the random number facility has been redesigned so that states are used where appropriate.  To make it easy to use states in folds, the kernel's list type has been enhanced with methods foldsl ("fold with state, left") and foldsr ("fold with state, right").  However, this was not quite necessary since the same functionality can be implemented as an extension, as was done in conssupport.drext, and used random.drool.
237 Among all bugs found lately, one was in the z-buffer.  Although it was fixed, I'm not at all convinced that transforms are handled correctly, nor that overlaps and line-surface intersections are determined correctly.
240 ====( 0.2.0 )====
241 2007-04-24
243 This version marks the point where the two feature examples states.drool and values.drool compile.  This means that the program is getting useful again.  However, the great majority of the examples have not been updated, and it is expected that many bugs will be revealed in the process of updating them.
245 In other words, this version marks the beginning of the use of states and structures, but these features should be debugged and tested on the many available examples before being considered a true alternative to using the language as of version 0.1.1.
248 ====( 0.1.2 )====
250 This version is to be used during the early phases of the transition from hot variables to temporary states.  One the program becomes useful again, the version number shall be incremented.
253 ====( 0.1.1 )====
254 2007-01-02
256 Testing has been automated.  The tests are divided into two cathegories depending on whether it is the graphical or textual program output that is to be compared against a given output.  See the Makefile's in the ./test directory and its subdirectories to learn how to run the tests or add new tests.
258 The z-buffer idea has been postponed.  Instead, a z-sorter has been implemented.  It does not handle cyclic overlaps properly.
260 There are lots of bugfixes and small enhancements over the previous version.  One of the enhancements is the "[...]"-syntax for evaluated cuts along one argument.
262 This is planned to be the the last usable version with hot variables.
265 ====( 0.1 )====
266 2006-12-12
268 First named version.
270 I'd say this is far too late for the introduction of a version number.  The reason not to make a named version has been that rather big changes in the language syntax have been expected.  However, these changes are still expected, but today I was really curious to know what binary I had installed, and this is what made me take this step.
272 To give an idea of how long this project has been running I'll mention two things.  First, the initial import of the project into subversion dates back to 2005-09-23.  Second, there's now 395 kB of zipped source code for the compiler.  In addition, there are many examples and language extension files.
274 There still not much at all of documentation.  Comments in the source are sparse, much too sparse.  A user's guide hsa been initiated, but the files have not yet entered the project repository.  There is no laguage definition either, but this is partly because the language is still expected to change substantially.
276 A few words about testing:  The testing is without structure so far.  I generate examples to test the features I'm currently working on, but I do not generate tests that can be checked automatically.  This probably says something about the quality of this version.  That I plan automatize testing soon does not make this version better.
278 The list of features that exist in this version is much too long for me to think of right now.  The first such a list I expect to create will be the user documentation, so until then the examples is as close as one gets.