Agda-2.3.2.2: test/fail/NoSuchPrimitiveFunction.agda

module NoSuchPrimitiveFunction where

postulate
  X : Set

primitive
  fooBar : X