[Agda] Testing new Haskell functions

[Nils Anders Danielsson]

On 2010-09-15 12:18, Simon Foster wrote:
> For instance if I do parseExprIn ii noRange "[]", I correctly get the
> corresponding Vector expression, but if I try to parse "zero ∷ []" I
> get a failure (zero is in scope in the loaded module with the given
> interaction point and this expression can be deduced from Agda).

Could the problem be that zero is overloaded? Try using ℕ.zero (or 0)
instead.

--
/NAD