Agda-2.3.2.2: test/fail/CompiledMustHaveHaskellType.err
CompiledMustHaveHaskellType.agda:12,1-25 The type N cannot be translated to a Haskell type. when checking the pragma COMPILED foo bar
CompiledMustHaveHaskellType.agda:12,1-25 The type N cannot be translated to a Haskell type. when checking the pragma COMPILED foo bar