From 564b57b713ec026313cf5795021ee82746959608 Mon Sep 17 00:00:00 2001
From: Pavel Panchekha <me@pavpanchekha.com>
Date: Tue, 26 Nov 2024 20:55:17 -0700
Subject: [PATCH] Delete dead code

---
 src/syntax/syntax.rkt | 12 ------------
 1 file changed, 12 deletions(-)

diff --git a/src/syntax/syntax.rkt b/src/syntax/syntax.rkt
index 61fb7b8ef..67821f462 100644
--- a/src/syntax/syntax.rkt
+++ b/src/syntax/syntax.rkt
@@ -26,8 +26,6 @@
          *functions*
          register-function!
          get-fpcore-impl
-         get-cast-impl
-         generate-cast-impl
          cast-impl?)
 
 (module+ internals
@@ -582,9 +580,6 @@
           #t]
          [_ #f])))
 
-(define (get-cast-impl irepr orepr #:impls [impls (all-active-operator-impls)])
-  (get-fpcore-impl 'cast (repr->prop orepr) (list irepr) #:impls impls))
-
 ; Similar to representation generators, conversion generators
 ; allow Herbie to query plugins for optimized implementations
 ; of representation conversions, rather than the default
@@ -596,13 +591,6 @@
   (unless (set-member? conversion-generators proc)
     (set! conversion-generators (cons proc conversion-generators))))
 
-(define (generate-cast-impl irepr orepr)
-  (match (get-cast-impl irepr orepr)
-    [#f
-     (for/first ([gen (in-list conversion-generators)])
-       (gen (representation-name irepr) (representation-name orepr)))]
-    [impl impl]))
-
 ;; Expression predicates ;;
 
 (define (impl-exists? op)