Add tests for extern and extern pragma processing

tests/bad-test-files/bad-empty-extern.quil

@@ -1,5 +1,5 @@
-# "Empty" stub declarations are bad
+# "Empty" extern declarations ar bad
 
-STUB
+EXTERN
 
 H 0

tests/bad-test-files/bad-empty-stub.quil

@@ -0,0 +1,5 @@
+# "Empty" stub declarations are bad
+
+STUB
+
+H 0

tests/bad-test-files/bad-pragma-extern-type-string-syntax.quil

@@ -0,0 +1,5 @@
+# Pragma extern type strings have a grammar
+
+PRAGMA EXTERN foo "(x y z)"
+
+H 0

tests/extern-tests.lisp

@@ -56,20 +56,32 @@ CPHASE(pi*x/2) 0 1"))
 (cl-quil::register-classical-function "add2" 'add2)
 
 (deftest test-extern-in-expressions ()
-  (let (parsed)
+  (let (parsed rx)
     ;; parsing works
     (not-signals error
-      (setf parsed (parse-quil "EXTERN add2;RX(add2(3,pi)/4) 0")))
+      (setf parsed (parse-quil "
+EXTERN add2;
+PRAGMA EXTERN add2 \"REAL (x:REAL, y:REAL)\";
+RX(add2(3,pi)/4) 0")))
 
     ;; because the expression involved no memory references, it is
     ;; actually evaluated
+    (setf rx (elt (parsed-program-executable-code parsed)
+                   (1- (length (parsed-program-executable-code parsed)))))
+
     (is (is-constant
-         (elt (application-parameters (elt (parsed-program-executable-code parsed) 0)) 0)))
+         (elt (application-parameters rx) 0)))
 
     ;; but this one will involve memory refs, and so will involve a delayed expression
-    (setf parsed (parse-quil "EXTERN add2;DECLARE x REAL;RX(add2(x,pi)/4) 0"))
+    (setf parsed (parse-quil "
+EXTERN add2;
+PRAGMA EXTERN add2 \"REAL (x:REAL, y:REAL)\";
+DECLARE x REAL;
+RX(add2(x,pi)/4) 0"))
+    (setf rx (elt (parsed-program-executable-code parsed)
+                  (1- (length (parsed-program-executable-code parsed)))))
     (is (cl-quil.frontend::delayed-expression-p
-         (elt (application-parameters (elt (parsed-program-executable-code parsed) 0)) 0)))))
+         (elt (application-parameters rx) 0)))))
 
 
 

tests/good-test-files/good-extern-declare-and-call.quil

@@ -0,0 +1,8 @@
+# Basic use of extern and call
+
+EXTERN foo
+DECLARE x INTEGER
+X 0
+CALL foo x 10
+CNOT 1 2
+