Commit 92eb0bb6 authored by Guy Watson's avatar Guy Watson
Browse files

Clean up attempts to fix type-info

parent a6388779
......@@ -246,9 +246,8 @@
(hash)))
(define (binop-rhs) (λ (n t)
(define child-type (fresh-number))
(hash 'l child-type
'r child-type)))
(hash 'l t
'r t)))
(define (unop-rhs) (λ (n t)
(hash 'expr t)))
......@@ -264,21 +263,13 @@
(λ (n t)
(hash 'root t))]]
[LiteralIntThirtyTwo [i32
(λ (n t)
(unify! (att-value 'xsmith_type (parent-node)) i32)
(hash))]]
(no-child-types)]]
[LiteralIntSixtyFour [i64
(λ (n t)
(unify! (att-value 'xsmith_type (parent-node)) i64)
(hash))]]
(no-child-types)]]
[LiteralFloatThirtyTwo [f32
(λ (n t)
(unify! (att-value 'xsmith_type (parent-node)) f32)
(hash))]]
(no-child-types)]]
[LiteralFloatSixtyFour [f64
(λ (n t)
(unify! (att-value 'xsmith_type (parent-node)) f64)
(hash))]]
(no-child-types)]]
[Noop [(fresh-number) (λ (n t) (hash 'expr t))]] ;;todo This is wierd....
[Binop [(fresh-number) (binop-rhs)]]
......@@ -294,12 +285,6 @@
[Min [(fresh-float) (binop-rhs)]]
[Max [(fresh-float) (binop-rhs)]]
[CopySign [(fresh-float) (binop-rhs)]]
[Multiplication [(fresh-number)
(λ (n t)
(define child-type (fresh-number))
;;(define child-type (fresh-int))
(hash 'l child-type
'r child-type))]]
[Unop [(fresh-number) (unop-rhs)]]
;; Restricted Unops
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment