0.8.1
Added
-
Now warns when
/futlib/...
files are redundantly imported. -
futharki
now prints warnings for files that are ":load"ed. -
The compiler now warns when entry points are declared with types
that will become unnamed and opaque, and thus impossible to
provide from the outside. -
Type variables invented by the type checker will now have a
unicode subscript to distinguish them from type parameters
originating in the source code. -
futhark-test
andfuthark-bench
now support generating random
test data. -
The library backends now generate proper names for arrays of
opaque values. -
The parser now permits empty programs.
-
Most transpositions are now a good bit faster, especially on
NVIDIA GPUs.
Removed
- The
<-
symbol can no longer be used for in-place updates and
record updates (deprecated in 0.7.3).
Changed
- Entry points that accept a single tuple-typed parameter are no
longer silently rewritten to accept multiple parameters.
Fixed
-
The
:type
command infutharki
can now handle polymorphic
expressions (#669). -
Fixed serious bug related to chaining record updates.
-
Fixed type inference of record fields (#677).
-
futharki
no longer goes in an infinite loop if afor
loop
contains a negative upper bound. -
Overloaded number types can no longer carry aliases (#682).