Ela Platform 2013.3

[vorov2]

Platform 2013.3 contains many important bug fixes in Ela and Elide, Ela intergrated environment. This version of platform also introduces a new version of Ela that allows to use pattern matching in do-notation.

A detailed description is available here:
http://elalang.net/docs/Article.aspx?p=whatsnew.htm

You can also refer to change log files shipped with platform.

 

Download platform from CodePlex:

https://ela.codeplex.com/releases/view/112881

[Alexey Tikhonov]

Hi!

 

I tried to run the sample in Elide:

 

open peano

take 10 <| toList infinity

 

and got a message: "A name "infinity" is not defined in a module or externally". Did I miss something? 

[vorov2]

Hi, Alexey!

A name "infinity" is declared as qualified in order to avoid name clashes:

infinity # qualified
infinity = Succ infinity

So you have to fully qualify it like so:

take 10 <| toList peano.infinity

This is quite typical for global names in stdlib.