map Nothing to void

2011-04-28 12:49:56 +02:00
parent 5c55f7d7d6
commit 1562de1347
1 changed files with 1 additions and 1 deletions
@@ -79,7 +79,7 @@ public class JetTypeMapper {
    }

    public Type mapType(final JetType jetType) {
-        if (jetType.equals(JetStandardClasses.getUnitType())) {
+        if (jetType.equals(JetStandardClasses.getUnitType()) || jetType.equals(JetStandardClasses.getNothingType())) {
            return Type.VOID_TYPE;
        }
        if (jetType.equals(standardLibrary.getIntType())) {