John Skaller

Just on the "should you use Felix to write software" issue: my assessment is that it should be good to write support tools. For production software I'd be more wary:...

If you look in `src/packages/grammar.fdoc` that is the actual "Felix" grammar. When you unpack it with `flx_iscr` or the Python version thereof, which happens when you say `make extract`, it...

SO: a real time program is one which must complete in a fixed amount of time (no matter what the inputs are) OR more commonly, a program which loops forever...

yeah i made a patch but only you can tell if it's actually a fix ..

Partial implementation: this works with new syntax and classes: ``` instance Eq[5] { fun == (x:5,y:5) => caseno x == caseno y; } instance Tord[5] { fun < (x:5,y:5) =>...

> On 3 Jul 2016, at 12:28, Ryan Gonzalez [email protected] wrote: > > Also, > > Come on, you're leaving me hanging here! :) Huh? Is this new or did...

Ok, so the problem is non trivial. Lambda lifting means, if you have a lambda in an expression, it is replaced by a name, and then the name is defined...

So here are fix instructions: (a) create a minimal test case, make sure it fails, use a typedef ONLY. (b) add the lambda lifting function to desugar code, but DON'T...

Just a BTW: lambda lifting may not be necessary, its not clear. C++11 has lambdas. Also, the lifting could be done later. In fact the need to lift is an...

Lifting is there for a simple reason, its not polymorphism. The reason is that it allows compiler code that processes expression terms .. to process expression terms without a need...