Agda-2.3.2.2: test/fail/NoBindingForBuiltin.err
NoBindingForBuiltin.agda:3,7-9
No binding for builtin thing ZERO, use {-# BUILTIN ZERO name #-} to
bind it to 'name'
when checking that the expression 42 has type _1
NoBindingForBuiltin.agda:3,7-9
No binding for builtin thing ZERO, use {-# BUILTIN ZERO name #-} to
bind it to 'name'
when checking that the expression 42 has type _1