15 minutes of vectors

Author: pavpanchekha

src/syntax/syntax-check.rkt

@@ -162,11 +162,14 @@
             (for ([var (in-list vars)])
               (match var
                 [(? identifier? x) (sow var)]
+                ;; FPCore syntax for 1D arrays
+                [#`(#,(? identifier? x) 2) (sow x)]
                 [#`(! #,props ... #,name)
                  (check-properties* props (immutable-bound-id-set '()) error!)
                  (cond
                    [(identifier? name) (sow name)]
-                   [else (error! var "Annotated argument ~a is not a variable name" name)])])))))
+                   [else (error! var "Annotated argument ~a is not a variable name" name)])]
+                [_ (error! var "Invalid syntax ~a for variable name" var)])))))
   (when (check-duplicate-identifier vars*)
     (error! stx "Duplicate argument name ~a" (check-duplicate-identifier vars*)))
   (check-properties* props (immutable-bound-id-set vars*) error!)

src/syntax/type-check.rkt

@@ -28,7 +28,8 @@
                   (define prop-dict (props->dict props))
                   (define arg-prec (dict-ref prop-dict ':precision prec))
                   (values name arg-prec)]
-                 [(? symbol? name) (values name prec)])))
+                 [(? symbol? name) (values name prec)]
+                 [(list var 2) (values var '(real 2))])))
 
   (define ctx (context var-names (get-representation prec) (map get-representation var-precs)))
   (assert-expression-type! body prop-dict ctx))

src/syntax/types.rkt

@@ -11,6 +11,7 @@
          <bool>
          <binary32>
          <binary64>
+         <binary64x2>
          (struct-out context)
          *context*
          context-extend
@@ -113,6 +114,18 @@
                        #:total-bits 64
                        #:special-value? nan?))
 
+(define <binary64x2>
+  (representation 'binary64x2
+                  '(real 2)
+                  (curry vector-map bigfloat->flonum)
+                  (lambda (x)
+                    (parameterize ([bf-precision 53])
+                      (vector-map bf x)))
+                  (curry vector-map ordinal->flonum)
+                  (curry vector-map flonum->ordinal)
+                  '(64 2)
+                  (lambda (v) (ormap identity (vector->list v)))))
+
 ;; Contexts
 
 (struct context (vars repr var-reprs) #:transparent)