wyvernlang / wyvern

The Wyvern programming language.
http://wyvernlang.github.io/
GNU General Public License v2.0
556 stars 65 forks source link

Effects are not checked for subtyping of DefDeclType #368

Open anlunx opened 4 years ago

anlunx commented 4 years ago

When two functions declaration types are compared for subtyping, their effect sets are not compared. For example, def foo() : {system.FFI} Unit should not be a subtype def foo() : {} Unit but the compiler doesn't compare their effect sets.