[Agda] Implicit arguments inference

[Valery Isaev]

Hi all,

For some reason, agda cannot infer implicit arguments in the following
code. It seems that it should be easy. Why agda cannot do it? Is there a
way to fix the problem without explicitly passing the arguments?

open import Data.List
open import Relation.Binary.PropositionalEquality

A : Set
A = 0 ∷ [] ≡ 0 ∷ []

Regards,
Valery Isaev
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20160925/a642270f/attachment.html