Added
futhark repl
now allows Ctrl-c to interrupt execution.
Fixed
-
Alias tracking of sum types.
-
Proper checking that a function declared to return a unique-typed
value actually does so. -
Faulty uniqueness checking and inference for lambdas (#1535).
-
Monomorphisation would duplicate functions under rare circumstances
(#1537). -
Interpreter didn't check that the arguments passed to
unflatten
made sense (#1539). -
futhark literate
now supports a$loaddata
builtin function for
passing datasets to Futhark programs.