list interp

import%20marimo%0A%0A__generated_with%20%3D%20%220.23.15%22%0Aapp%20%3D%20marimo.App(width%3D%22full%22)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Aasync%20def%20_()%3A%0A%20%20%20%20async%20def%20import_xdsl()%3A%0A%20%20%20%20%20%20%20%20from%20urllib.parse%20import%20urljoin%0A%0A%20%20%20%20%20%20%20%20import%20micropip%0A%20%20%20%20%20%20%20%20from%20marimo%20import%20notebook_location%0A%0A%20%20%20%20%20%20%20%20location%20%3D%20notebook_location()%0A%20%20%20%20%20%20%20%20if%20location%20is%20None%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20raise%20RuntimeError(%22Could%20not%20determine%20the%20notebook%20location%22)%0A%0A%20%20%20%20%20%20%20%20%23%20Exported%20notebooks%20live%20at%20notebooks%2Fhtml%2F%3Cname%3E%2F%20below%20the%20site%20root.%0A%20%20%20%20%20%20%20%20%23%20Resolve%20the%20wheel%20relative%20to%20that%20root%20so%20deployments%20under%20a%20URL%20prefix%0A%20%20%20%20%20%20%20%20%23%20(for%20example%2C%20https%3A%2F%2Fhost%2Fproject%2F)%20keep%20that%20prefix.%0A%20%20%20%20%20%20%20%20wheel_url%20%3D%20urljoin(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%7Bstr(location).rstrip('%2F')%7D%2F%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%22..%2F..%2F..%2Fxdsl-0.0.0-py3-none-any.whl%22%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20await%20micropip.install(%22xdsl%20%40%20%22%20%2B%20wheel_url)%0A%0A%20%20%20%20await%20import_xdsl()%0A%20%20%20%20from%20xdsl.utils%20import%20marimo%20as%20xmo%0A%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%22%22%22%0A%20%20%20%20%23%20List%20dialect%20interpreter%0A%20%20%20%20%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo)%3A%0A%20%20%20%20source%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20value%3D%22%22%22%5C%0A%20%20%20%20builtin.module%20%7B%0A%20%20%20%20%20%20func.func%20%40main()%20%7B%0A%20%20%20%20%20%20%20%20%25one%20%3D%20arith.constant%201%20%3A%20i32%0A%20%20%20%20%20%20%20%20%25two%20%3D%20arith.constant%202%20%3A%20i32%0A%20%20%20%20%20%20%20%20%25three%20%3D%20arith.constant%203%20%3A%20i32%0A%20%20%20%20%20%20%20%20%25values%20%3D%20list.from_elements%20%25one%2C%20%25two%2C%20%25three%0A%20%20%20%20%20%20%20%20%20%20%20%20%3A%20(i32%2C%20i32%2C%20i32)%20-%3E%20!list.list%3Ci32%3E%0A%20%20%20%20%20%20%20%20%25reversed%20%3D%20list.reverse%20%25values%20%3A%20!list.list%3Ci32%3E%0A%20%20%20%20%20%20%20%20list.print%20%25reversed%20%3A%20!list.list%3Ci32%3E%0A%20%20%20%20%20%20%20%20func.return%0A%20%20%20%20%20%20%7D%0A%20%20%20%20%7D%22%22%22%2C%0A%20%20%20%20%20%20%20%20language%3D%22text%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22List%20dialect%20IR%22%2C%0A%20%20%20%20%20%20%20%20min_height%3D400%2C%0A%20%20%20%20)%0A%20%20%20%20return%20(source%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(mo%2C%20source)%3A%0A%20%20%20%20from%20io%20import%20StringIO%0A%0A%20%20%20%20from%20xdsl.context%20import%20Context%0A%20%20%20%20from%20xdsl.dialects%20import%20arith%2C%20builtin%2C%20func%2C%20scf%2C%20vector%0A%20%20%20%20from%20xdsl.frontend.listlang.list_dialect%20import%20LIST_DIALECT%0A%20%20%20%20from%20xdsl.interpreter%20import%20Interpreter%0A%20%20%20%20from%20xdsl.interpreters.arith%20import%20ArithFunctions%0A%20%20%20%20from%20xdsl.interpreters.func%20import%20FuncFunctions%0A%20%20%20%20from%20xdsl.interpreters.list%20import%20ListFunctions%0A%20%20%20%20from%20xdsl.interpreters.scf%20import%20ScfFunctions%0A%20%20%20%20from%20xdsl.interpreters.vector%20import%20VectorFunctions%0A%20%20%20%20from%20xdsl.parser%20import%20Parser%0A%0A%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20ctx%20%3D%20Context()%0A%20%20%20%20%20%20%20%20ctx.load_dialect(builtin.Builtin)%0A%20%20%20%20%20%20%20%20ctx.load_dialect(arith.Arith)%0A%20%20%20%20%20%20%20%20ctx.load_dialect(func.Func)%0A%20%20%20%20%20%20%20%20ctx.load_dialect(scf.Scf)%0A%20%20%20%20%20%20%20%20ctx.load_dialect(vector.Vector)%0A%20%20%20%20%20%20%20%20ctx.load_dialect(LIST_DIALECT)%0A%0A%20%20%20%20%20%20%20%20module%20%3D%20Parser(ctx%2C%20source.value).parse_module()%0A%20%20%20%20%20%20%20%20module.verify()%0A%0A%20%20%20%20%20%20%20%20output_stream%20%3D%20StringIO()%0A%20%20%20%20%20%20%20%20interpreter%20%3D%20Interpreter(module%2C%20file%3Doutput_stream)%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(ArithFunctions())%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(FuncFunctions())%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(ListFunctions())%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(ScfFunctions())%0A%20%20%20%20%20%20%20%20interpreter.register_implementations(VectorFunctions())%0A%20%20%20%20%20%20%20%20interpreter.call_op(%22main%22%2C%20())%0A%0A%20%20%20%20%20%20%20%20output%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20%20%20%20%20value%3Doutput_stream.getvalue()%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20language%3D%22text%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20disabled%3DTrue%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20label%3D%22Interpreted%20result%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20min_height%3D400%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20except%20Exception%20as%20error%3A%0A%20%20%20%20%20%20%20%20notes%20%3D%20getattr(error%2C%20%22__notes__%22%2C%20())%0A%20%20%20%20%20%20%20%20message%20%3D%20%22%5Cn%22.join((*notes%2C%20str(error)))%0A%20%20%20%20%20%20%20%20error_output%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20%20%20%20%20value%3Dmessage%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20language%3D%22text%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20disabled%3DTrue%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20label%3D%22Error%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20min_height%3D400%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20output%20%3D%20mo.callout(error_output%2C%20kind%3D%22danger%22)%0A%0A%20%20%20%20mo.hstack((source%2C%20output)%2C%20widths%3D%22equal%22%2C%20align%3D%22start%22)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A