search

zenna / Omega.jl

Causal, Higher-Order, Probabilistic Programming
MIT License
164 stars 17 forks source link

lift(::DataType) loses type information #110

Closed zenna closed 3 years ago

zenna commented 5 years ago

In 

struct MyType
  x
end

x = lift(MyType)(uniform(0, 1))
g(x) = MyType(x)
y = lift(g)(uniform(0, 1))

x has elemtype Any while y has elemtype MyType

zenna commented 3 years ago

Fixed