bba84d5Added raw (non-typesafe) message passing library (System.Concurrency.Raw)Edwin Brady14 years ago f8920a0Deal with higher order recursive arguments in size change graphsEdwin Brady14 years ago 30e4ed8Added simple productivity checker for coinductive definitions Recursive calls must be an argument to a coinductive constructorEdwin Brady14 years ago fad1c1cWarn when generating a setter for a record fails ...rather than failing (since it may just not work for dependent records)Edwin Brady14 years ago 2ec60c8Added binding form to syntax rules (and updated tutorial accordingly)Edwin Brady14 years ago 19495edCheck patterns are inaccessibleEdwin Brady15 years ago d54f335Added record testEdwin Brady15 years ago 02701e7Numeric ranges [a..b], [a,b .. c] and list monadEdwin Brady15 years ago 67c5734Added case and pattern matching let bindings Also pattern matching bind in do notation case notation currently has limitations: - only works on simple types (each pattern must have the same type, more specifically) - return type needs to be known at the point of elaborationEdwin Brady15 years ago 1a12cc3Test for idiom brackets and Applicative classEdwin Brady15 years ago e1e8b95New testEdwin Brady15 years ago 88f6bf1Fix obscure where naming bugEdwin Brady15 years ago