Fixed bugs
| Bug Id | Short Description | Submitted by | Status |
| 20070527-0 | Example bug | Ulf Norell | Fixed |
| 20070528-0 | Impossible: ConcreteToAbstract.hs:736 | Alexandre Buisse | Fixed |
| 20070529-0 | darcs version segfaults | Alexandre Buisse | Closed |
| 20070530-0 | Sigma types and large eliminations | James Chapman | Fixed |
| 20070530-1 | Problem when opening a parametriced main module | Ana Bove | Fixed |
| 20070530-5 | local open of modules with implicit arguments | NAD | Fixed |
| 20070530-7 | termination checker crashes if recursive calls have different number of args | Ulf Norell | Fixed |
| 20070601-2 | Do something about undo in the Emacs interface. | NAD | Closed |
| 20070530-2 | Local module shadowing assymetry | Patrik Jansson | Fixed |
| 20070603-1 | Agda silently exits if constructor name = data type name | Andreas Abel | Fixed |
| 20070530-4 | structurally recursive program (with 'with' clauses) not accepted by termination checker | James Chapman | Fixed |
| 20070606-1 | The order of disjoint clauses matters | Andreas | Closed |
| 20070606-4 | Type checker screws up when hidden argument is inserted | Andreas | Fixed |
| 20070607-0 | Parsing ambiguousness should use fully qualified names | Alexandre Buisse | Fixed |
| 20070606-2 | The middle mouse button does not paste in the emacs mode | Andreas | Fixed |
| 20070613-3 | Identifiers cannot start with a digit. | NAD | Fixed |
| 20070613-2 | Module names not checked. | NAD | Fixed |
| 20070613-1 | Positivity checker can't see through abstract. | NAD | Fixed |
| 20070614-3 | NATMINUS is inflexible.
| NAD | Fixed |
| 20070606-3 | Unlocateable unsolved Meta-Var | Andreas | Fixed |
| 20070614-2 | Syntax of forall.
| NAD | Fixed |
| 20070619-2 | With clause pattern _ is not an instance of its parent pattern
| NAD | Closed |
| 20070619-1 | open public interacts poorly with parameterised modules.
| NAD | Fixed |
| 20070725-1 | Open public followed by abstracting instantiation doesn't work | Ulf | Fixed |
| 20070711-1 | Scope error in mutual definition | James Chapman | Closed |
| 20070723-1 | Lexicographic termination | James Chapman | Fixed |
| 20070815-1 | Constructors in parameterised modules have wrong type | Ulf | Fixed |
| 20070628-1 | Modules are not allowed in mutual blocks. | NAD | Closed |
| 20070626-1 | Postulates are not allowed in mutual blocks. | NAD | Closed |
| 20070913-1 | ConcreteToAbstract.hs:225: the impossible ocurred during termination check | Wouter Swierstra | Fixed |
| 20070627-1 | Module system bug(s). | NAD | Closed |
| 20070627-2 | where clause becomes abstract for no apparent reason.
| NAD | Fixed |
| 20070614-1 | panic: Not in scope
| NAD | Fixed |
| 20071012-2 | refine forgetts (,) | Ana Bove | Fixed |
| 20071012-1 | Exception when refining (though correct expression) | Ana Bove | Fixed |
| 20070821-1 | wrong parentheses when refining | Max Schaefer | Fixed |
| 20070702-1 | Impossible substitution of literal? | NAD | Fixed |
| 20070822-1 | variables declared with 'let' cannot be used under a lambda-binder | Ulrich Schoepp | Fixed |
| 20070616-1 | Positivity checker can see through abstract.
| NAD | Fixed |
| 20070920-1 | Postulates in mutual definition throws Syntax.Concrete.Definitions.DeclarationException. | Wouter Swierstra | Fixed |
| 20070531-1 | Termination problems are not displayed for imported modules. | NAD | Fixed |
| 20070701-1 | Pattern variables can shadow each other. | NAD | Fixed |
Page last modified on October 24, 2007, at 11:17 am
Powered by
PmWiki