We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent b21919f commit efddf9dCopy full SHA for efddf9d
src/egglog/run-egglog.rkt
@@ -1659,19 +1659,9 @@
1659
(displayln egglog-program egglog-in)
1660
(close-output-port egglog-in)
1661
1662
- (define all-variants
+ (define results
1663
(for/list ([expr (econfig-exprs config)])
1664
(read egglog-output)))
1665
- (define results
1666
- (if (equal? (econfig-num-variants config) 0)
1667
- all-variants
1668
- (for/list ([expr (econfig-exprs config)] [variants all-variants])
1669
- ;; list of exprs for this expr at each point
1670
- (append variants
1671
- (map remove-ast-prefix
1672
- (for/list ([i (in-range (econfig-num-sample config))])
1673
- ;; egglog extracts one thing per point
1674
- (first (read egglog-output))))))))
1675
1676
(close-input-port egglog-output)
1677
0 commit comments