Clarify siu example

egraphs-good · Mar 27, 2024 · c941440 · c941440
1 parent eabe57b
commit c941440
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/python/egglog/exp/siu_examples.py b/python/egglog/exp/siu_examples.py
@@ -6,6 +6,7 @@
 
 # https://github.com/sklam/pyasir/blob/c363ff4f8f91177700ad4108dd5042b9b97d8289/pyasir/tests/test_fib.py
 
+# In progress - should be able to re-create this
 # @df.func
 # def fib_ir(n: pyasir.Int64) -> pyasir.Int64:
 #     @df.switch(n <= 1)
@@ -25,6 +26,7 @@
 #     return r
 
 
+# With something like this:
 @egglog.function
 def fib(n: Int) -> Int:
     return (n <= Int(1)).if_int(