compiler: reject lambdas used as kernel functions (fixes #313).

whitequark · whitequark · commit 73bfbe51dbd6 · 2016-03-03T08:33:28.000Z
diff --git a/artiq/compiler/embedding.py b/artiq/compiler/embedding.py
@@ -742,6 +742,16 @@ def _quote_function(self, function, loc):
         else:
             if hasattr(function, "artiq_embedded"):
                 if function.artiq_embedded.function is not None:
+                    if function.__name__ == "<lambda>":
+                        note = diagnostic.Diagnostic("note",
+                            "lambda created here", {},
+                            self._function_loc(function.artiq_embedded.function))
+                        diag = diagnostic.Diagnostic("fatal",
+                            "lambdas cannot be used as kernel functions", {},
+                            loc,
+                            notes=[note])
+                        self.engine.process(diag)
+
                     # Insert the typed AST for the new function and restart inference.
                     # It doesn't really matter where we insert as long as it is before
                     # the final call.
