Header aus dem Driver aktualisiert.
Change-Id: I4254619c68bd585003fd7efd220c0a547a1ade5e
diff --git a/sys/lpctypes.h b/sys/lpctypes.h
index 3187d6b..3c585bc 100644
--- a/sys/lpctypes.h
+++ b/sys/lpctypes.h
@@ -46,7 +46,12 @@
#define CLOSURE_LAMBDA 5 /* normal lambda closure */
#define CLOSURE_UNBOUND_LAMBDA 6 /* unbound lambda closure. */
-#define CLOSURE_OPERATOR (0xe800)
+#ifdef __PYTHON__
+# define CLOSURE_OPERATOR (0xe000)
+# define CLOSURE_PYTHON_EFUN (0xe800)
+#else
+# define CLOSURE_OPERATOR (0xe800)
+#endif
#define CLOSURE_EFUN (0xf000)
#define CLOSURE_SIMUL_EFUN (0xf800)
@@ -58,6 +63,9 @@
#define CLOSURE_IS_SIMUL_EFUN(x) (((x) & 0xf800) == CLOSURE_SIMUL_EFUN)
#define CLOSURE_IS_EFUN(x) (((x) & 0xf800) == CLOSURE_EFUN)
#define CLOSURE_IS_OPERATOR(x) (((x) & 0xf800) == CLOSURE_OPERATOR)
+#ifdef __PYTHON__
+# define CLOSURE_IS_PYTHON_EFUN(x) (((x) & 0xf800) == CLOSURE_PYTHON_EFUN)
+#endif
#endif /* __DRIVER_SOURCE__ */