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 | ||