Merge pull request #325 from scala-native/topic/nothing-ptr

Fix overly restrictive check in NothingLowering
scala-native · Oct 12, 2016 · 1fc82f2 · 1fc82f2
2 parents 701927f + 3b1e813
commit 1fc82f2
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/tools/src/main/scala/scala/scalanative/compiler/pass/NothingLowering.scala b/tools/src/main/scala/scala/scalanative/compiler/pass/NothingLowering.scala
@@ -15,6 +15,7 @@ class NothingLowering extends Pass {
     case Block(n, params, insts, cf) =>
       val ninsts = mutable.UnrolledBuffer.empty[Inst]
       var ncf = cf
+
       breakable {
         insts.foreach {
           case inst @ Inst(n, call: Op.Call) if call.resty == Type.Nothing =>
@@ -27,13 +28,14 @@ class NothingLowering extends Pass {
             ninsts += inst
         }
       }
+
       Seq(Block(n, params, ninsts.toSeq, ncf))
   }
 
   override def preType = {
     case Type.Nothing =>
-      unsupported(
-          "nothing can only be used as the result type of the function")
+      Type.Ptr
+
     case Type.Function(params, Type.Nothing) =>
       Type.Function(params, Type.Void)
   }