Skip to content

Commit 23cc561

Browse files
committed
a bugster
1 parent c52c622 commit 23cc561

File tree

1 file changed

+0
-15
lines changed

1 file changed

+0
-15
lines changed

src/core/egg-herbie.rkt

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -1368,21 +1368,6 @@
13681368
(define extract-id (extractor regraph))
13691369
(define finalize-batch (last extract-id))
13701370

1371-
; (Listof (Listof batchref))
1372-
(define out
1373-
(for/list ([id (in-list root-ids)]
1374-
[repr (in-list reprs)])
1375-
(regraph-extract-best regraph extract-id id repr)))
1376-
; commit changes to the batch
1377-
(finalize-batch)
1378-
out]
1379-
[`(multi . ,extractor) ; multi expression extraction
1380-
(define regraph (make-regraph egg-graph))
1381-
(define reprs (egg-runner-reprs runner))
1382-
1383-
(define extract-id (extractor regraph))
1384-
(define finalize-batch (last extract-id))
1385-
13861371
; (Listof (Listof batchref))
13871372
(define out
13881373
(for/list ([id (in-list root-ids)]

0 commit comments

Comments
 (0)