Agda-2.3.2.2: test/fail/NoSuchPrimitiveFunction.err
NoSuchPrimitiveFunction.agda:7,3-13 There is no primitive function called fooBar when checking that the type of the primitive function fooBar is X
NoSuchPrimitiveFunction.agda:7,3-13 There is no primitive function called fooBar when checking that the type of the primitive function fooBar is X