anchor.diff:            simple-error)
   (is-error (cl-cuda::arithmetic-function-return-type 'foo '() nil nil)
             simple-error)
  +
  +
  +;;; test compile-identifier
  +
  +(diag "test compile-identifier")
  +
  +(is (cl-cuda::compile-identifier 'x) "x")
  +(is (cl-cuda::compile-identifier 'vec-add-kernel) "vec_add_kernel")
  +(is (cl-cuda::compile-identifier 'VecAdd_kernel) "vecadd_kernel")
   
   
   ;;; test type-of-expression
  
positive.code:             simple-error))
  
  
  ;;; test built-in arithmetic functions
  
  (diag "test built-in arithmetic functions")
  
negative.code: (is (cl-cuda::type-of-expression 'cl-cuda::thread-idx-y nil nil) 'int)
  (is (cl-cuda::type-of-expression 'cl-cuda::thread-idx-z nil nil) 'int)
  
  (is-error (cl-cuda::type-of-variable-reference 'x nil) simple-error)
  
  (let ((type-env (cl-cuda::add-type-environment
  