On Sat, Jun 6, 2015 at 2:15 PM, andrew cooke <[email protected]> wrote: > > Does this make sense to anyone? In 0.3 it works as (I) expected (once you > change Void to Nothing). > > In 0.4 I have no idea what the float / circular reference thing is. > > _ _ _(_)_ | A fresh approach to technical computing > (_) | (_) (_) | Documentation: http://docs.julialang.org > _ _ _| |_ __ _ | Type "help()" for help. > | | | | | | |/ _` | | > | | |_| | | | (_| | | Version 0.4.0-dev+5232 (2015-06-06 11:26 UTC) > _/ |\__'_|_|_|\__'_| | Commit 37ff0df* (0 days old master) > |__/ | x86_64-suse-linux > > julia> abstract C{T<:Union(Void,Int)} > > julia> type D{T}<:C{T} d::T end > > julia> D(nothing) > D{Void}(nothing) > > julia> D(1) > D{Int64}(1) > > julia> D(1.1) > D{Float64}(D{Float64}(#= circular reference =#))
Related to https://github.com/JuliaLang/julia/issues/11597 ? > > (It's not a problem for me; just thought it odd) > > Andrew
