This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
cs330_f2016:lab16shell [2018/11/27 18:15] morse |
cs330_f2016:lab16shell [2021/06/30 23:42] (current) |
||
---|---|---|---|
Line 238: | Line 238: | ||
function parse_type( t :: Array{Any} ) | function parse_type( t :: Array{Any} ) | ||
- | return FunType( parse_type(t[1]), | + | return FuncType( parse_type(t[1]), |
parse_type(t[3])) | parse_type(t[3])) | ||
end | end | ||
Line 284: | Line 284: | ||
&& same_type( t1.result_type, t2.result_type )) | && same_type( t1.result_type, t2.result_type )) | ||
- | same_type( t1::T, t2::T ) where {T} = true | + | same_type( t1::T, t2::T ) where {T <: TypeVal} = true |
same_type( t1::TypeVal, t2::TypeVal ) = false | same_type( t1::TypeVal, t2::TypeVal ) = false |