FeatureRequests-Talk

• What about an « unquote » primitive that would allow to fully automatized solvers by reflection?

I vote error reporting is already perfect so this feature may be removed.

• 2.2.4 compiler SO SLOW (even on my 1.8 GHZ dual core processor with 512 MB memory (more than 100 MB is always free and page cache is always bigger than 100 MB, I checked!) compilation takes more 10 seconds)

---

• Suppose we have a hole in a term of the form

blah blah f (\ x -> { }0)

where x is of type Sigma A B. Entering x in the hole and executing Ctrl-C Ctrl-C should introduce a pattern-matching lambda:

blah blah f (\ {(x , y) -> { }0})