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.
consing-onto-static-list
1 parent 0691175 commit 14758daCopy full SHA for 14758da
src/core/preprocess.rkt
@@ -165,7 +165,7 @@
165
(define repr (context-lookup context a))
166
(define fmin (get-fpcore-impl 'fmin (repr->prop repr) (list repr repr)))
167
(define fmax (get-fpcore-impl 'fmax (repr->prop repr) (list repr repr)))
168
- (replace-vars (list (cons a (list fmin a b)) (cons b (list fmax a b))) expression)]
+ (replace-vars (list (list a fmin a b) (list b fmax a b)) expression)]
169
[(list 'abs var)
170
(define repr (context-lookup context var))
171
(define fabs (get-fpcore-impl 'fabs (repr->prop repr) (list repr)))
0 commit comments