artiq: Implement handling for const generic variables

core: Initial implementation for const generics
2023-12-08 17:59:34 +08:00 · 2023-12-08 17:59:30 +08:00
2 changed files with 3 additions and 3 deletions
--- a/nac3artiq/src/lib.rs
+++ b/nac3artiq/src/lib.rs
@ -882,7 +882,7 @@ impl Nac3 {
                .call1((
                    builtins_mod.getattr("globals")
                        .and_then(|v| v.call0())
-                        .and_then(|v| v.get_item("_ConstGenericDummy"))
+                        .and_then(|v| v.get_item("_ConstGenericMarker"))
                        .unwrap(),
                ))
                .and_then(|v| v.extract())
--- a/nac3standalone/demo/interpret_demo.py
+++ b/nac3standalone/demo/interpret_demo.py
@ -44,11 +44,11 @@ def Some(v: T) -> Option[T]:

 none = Option(None)

-class _ConstGenericDummy:
+class _ConstGenericMarker:
    pass

 def ConstGeneric(name, constraint):
-    return TypeVar(name, _ConstGenericDummy, constraint)
+    return TypeVar(name, _ConstGenericMarker, constraint)

 def round_away_zero(x):
    if x >= 0.0:
Author	SHA1	Message	Date
David Mak	20607934a6	artiq: Implement handling for const generic variables	2023-12-08 17:59:34 +08:00
David Mak	abdd7ebd3c	core: Initial implementation for const generics	2023-12-08 17:59:30 +08:00