Merge pull request #1359 from herbie-fp/codex/move-validate-platform-to-platform-language.rkt

Move validate-platform into platform-language

Author: pavpanchekha

src/syntax/platform-language.rkt

@@ -244,6 +244,16 @@
   ; Update table
   (hash-set! impls (operator-impl-name impl) impl))
 
+(define (validate-platform! platform)
+  (when (empty? (platform-implementations platform))
+    (raise-herbie-error "Platform contains no operations"))
+  (for ([(name impl) (in-hash (platform-implementations platform))])
+    (define ctx (operator-impl-ctx impl))
+    (for ([repr (in-list (cons (context-repr ctx) (context-var-reprs ctx)))])
+      (unless (equal? (hash-ref (platform-representations platform) (representation-name repr) #f)
+                      repr)
+        (raise-herbie-error "Representation ~a not defined" (representation-name repr))))))
+
 (define-syntax (platform-register-implementations! stx)
   (syntax-case stx ()
     [(_ platform ([name ([var : repr] ...) otype spec fl fpcore cost] ...))

src/syntax/platform.rkt

@@ -32,7 +32,6 @@
          platform-lifting-rules
          platform-lowering-rules
          platform-copy
-         validate-platform!
          repr-exists?
          get-representation
          impl-exists?
@@ -68,16 +67,6 @@
   (define impls (make-hash))
   (create-platform reprs impls repr-costs))
 
-(define (validate-platform! platform)
-  (when (empty? (platform-implementations platform))
-    (raise-herbie-error "Platform contains no operations"))
-  (for ([(name impl) (in-hash (platform-implementations platform))])
-    (define ctx (operator-impl-ctx impl))
-    (for ([repr (in-list (cons (context-repr ctx) (context-var-reprs ctx)))])
-      (unless (equal? (hash-ref (platform-representations platform) (representation-name repr) #f)
-                      repr)
-        (raise-herbie-error "Representation ~a not defined" (representation-name repr))))))
-
 ;; Returns the representation associated with `name`
 ;; attempts to generate the repr if not initially found
 (define (get-representation name)