search

uqbar-project / wollok

Wollok Programming Language
GNU General Public License v3.0
60 stars 16 forks source link

Failing test case: TypeSystemTestCase #1011

Closed npasserini closed 7 years ago

npasserini commented 7 years ago

Looks for class "wollok.lang.Integer" using this method

    def findClass(String className) {
        val c = resourceSet.allContents.filter(WClass).findFirst[name == className]
        if (c == null) throw new RuntimeException(
            '''Could NOT find class [«className»] in: «resourceSet.allContents.filter(WClass).map[name].toList»''')
        c
    }

I think that this method could be outdated. Maybe we should use WollokClassFinder instead?

npasserini commented 7 years ago

Fixed in https://github.com/uqbar-project/wollok/commit/aa677da1f1f9a7d154be498a780bfd3da06e1843. But I still do not understand why we need two different methods classType and classTypeFor in AbstractWollokTypeSystemTestCase. The former seems to work for user defined classes, while the latter works for wollok classes.