Closing issue #204

src/back/CodeGen/Expr.hs

@@ -447,12 +447,12 @@ instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
         in
           do
             typeArgs <- mapM getTypeVar typeParams
-            (nnew, ctorCall) <- namedTmpVar "new" ty callCtor
+            (nnew, constructorCall) <- namedTmpVar "new" ty callCtor
             (initArgs, result) <-
               methodCall nnew ty initName args ty
             return (nnew,
               Seq $
-                [ctorCall] ++
+                [constructorCall] ++
                 initArgs ++
                 [ Statement $ callTypeParamsInit $ (AsExpr nnew):typeArgs
                 , Statement result]
@@ -526,12 +526,12 @@ instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
                               (Call arraySize [ntarg])
          return (Var tmp, Seq [ttarg, theSize])
 
-  translate call@(A.MethodCall { A.target, A.name, A.args})
+  translate call@(A.MethodCall { A.emeta, A.target, A.name, A.args})
     | (Ty.isTraitType . A.getType) target = do
         (ntarget, ttarget) <- translate target
         (nCall, tCall) <- traitMethod ntarget (A.getType target) name args
                                       (translate (A.getType call))
-        return (nCall, Seq $ ttarget : [tCall])
+        return (nCall, Seq $ ttarget : targetNullCheck ntarget target name emeta : [tCall])
     | syncAccess = delegateUse callTheMethodSync "sync_method_call"
     | sharedAccess = delegateUse callTheMethodFuture "shared_method_call"
     | isActive && isStream = delegateUse callTheMethodStream "stream"
@@ -548,6 +548,7 @@ instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
             return (Var result,
               Seq $
                 ttarget :
+                targetNullCheck ntarget target name emeta: 
                 initArgs ++
                 [Assign (Decl (translate retTy, Var result)) resultExpr]
               )
@@ -557,8 +558,9 @@ instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
           isActive = Ty.isActiveClassType targetTy
           isStream = Ty.isStreamType retTy
           isFuture = Ty.isFutureType retTy
+          targetNullCheck ntarget target name meta = Statement $ Call (Nam "check_reciever") [AsExpr $ ntarget, String ".", String (show (PP.ppExpr target)), String (show name), String (show (Meta.getPos meta))]
 
-  translate call@(A.MessageSend { A.target, A.name, A.args })
+  translate call@(A.MessageSend { A.emeta, A.target, A.name, A.args })
       | (Ty.isActiveClassType . A.getType) target = messageSend
       | sharedAccess = sharedObjectMethodOneWay call
       | otherwise = error "Tried to send a message to something that was not an active reference"
@@ -568,7 +570,8 @@ instance Translatable A.Expr (State Ctx.Context (CCode Lval, CCode Stat)) where
             messageSend =
                 do (ntarg, ttarg) <- translate target
                    theSend <- activeMessageSend ntarg (A.getType target) name args
-                   return (unit, Seq (Comm "message send" : ttarg : [theSend]))
+                   return (unit, Seq (Comm "message send" : ttarg : targetNullCheck ntarg target name emeta : [theSend]))
+            targetNullCheck ntarget target name meta = Statement $ Call (Nam "check_reciever") [AsExpr $ ntarget, String " ! ", String (show (PP.ppExpr target)), String (show name), String (show (Meta.getPos meta))]
 
   translate w@(A.While {A.cond, A.body}) =
       do (ncond,tcond) <- translate cond

src/runtime/encore/encore.h

@@ -16,6 +16,8 @@
 #include <pony.h>
 #include <atomics.h>
 
+#define check_reciever(this, op, recv, msg, file) if (!this) { fprintf(stderr, "Error: empty receiver in " recv op msg "(...) in " file "\n"); abort(); }
+
 typedef struct context {
   ucontext_t uctx;
   struct context *next;

src/tests/encore/basic/recvNullCall.enc

@@ -0,0 +1,9 @@
+class Main
+  def test() : void
+    print("If you can read this, then recvNullCall failed")
+  def main() : void
+    let
+      x = null:Main
+    in 
+      x.test() 
+

src/tests/encore/basic/recvNullCall.err

@@ -0,0 +1 @@
+Error: empty receiver in x.test(...) in "src/tests/encore/basic/recvNullCall.enc" (line 8, column 7)

src/tests/encore/basic/recvNullSend.enc

@@ -0,0 +1,9 @@
+class Main
+  def test() : void
+    print("If you can read this, then recvNullSend failed")
+  def main() : void
+    let
+      x = null:Main
+    in 
+      x ! test() 
+

src/tests/encore/basic/recvNullSend.err

@@ -0,0 +1 @@
+Error: empty receiver in x ! test(...) in "src/tests/encore/basic/recvNullSend.enc" (line 8, column 9)