listlang

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%20ListLang%20frontend%20compiler%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%20let%20values%20%3D%20%5B1%2C%202%2C%203%5D%3B%0A%20%20%20%20values.push_front(0).reverse()%22%22%22%2C%0A%20%20%20%20%20%20%20%20language%3D%22rs%22%2C%0A%20%20%20%20%20%20%20%20label%3D%22ListLang%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%20xdsl.context%20import%20Context%20as%20_Context%0A%20%20%20%20from%20xdsl.frontend.listlang.lowerings%20import%20WrapModuleInFunc%0A%20%20%20%20from%20xdsl.frontend.listlang.main%20import%20program_to_mlir_module%0A%20%20%20%20from%20xdsl.frontend.listlang.source%20import%20ParseError%0A%0A%20%20%20%20compiled_module%20%3D%20None%0A%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20compiled_module%20%3D%20program_to_mlir_module(source.value)%0A%20%20%20%20%20%20%20%20WrapModuleInFunc().apply(_Context()%2C%20compiled_module)%0A%20%20%20%20%20%20%20%20compiled_module.verify()%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%3Dstr(compiled_module)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20language%3D%22javascript%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%22Generated%20IR%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%20ParseError%20as%20error%3A%0A%20%20%20%20%20%20%20%20line%2C%20column%20%3D%20error.line_column(source.value)%0A%20%20%20%20%20%20%20%20lines%20%3D%20source.value.split(%22%5Cn%22)%0A%20%20%20%20%20%20%20%20first_line%20%3D%20max(1%2C%20line%20-%201)%0A%20%20%20%20%20%20%20%20last_line%20%3D%20min(len(lines)%2C%20line%20%2B%201)%0A%20%20%20%20%20%20%20%20gutter_width%20%3D%20len(str(last_line))%0A%20%20%20%20%20%20%20%20excerpt_lines%3A%20list%5Bstr%5D%20%3D%20%5B%5D%0A%0A%20%20%20%20%20%20%20%20for%20line_number%20in%20range(first_line%2C%20last_line%20%2B%201)%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20marker%20%3D%20%22%3E%22%20if%20line_number%20%3D%3D%20line%20else%20%22%20%22%0A%20%20%20%20%20%20%20%20%20%20%20%20source_line%20%3D%20lines%5Bline_number%20-%201%5D.rstrip(%22%5Cr%22).expandtabs()%0A%20%20%20%20%20%20%20%20%20%20%20%20excerpt_lines.append(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20f%22%7Bmarker%7D%20%7Bline_number%3A%3E%7Bgutter_width%7D%7D%20%7C%20%7Bsource_line%7D%22%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20%20%20%20%20if%20line_number%20%3D%3D%20line%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20raw_prefix%20%3D%20lines%5Bline_number%20-%201%5D%5B%3A%20column%20-%201%5D%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20display_column%20%3D%20len(raw_prefix.expandtabs())%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20excerpt_lines.append(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20f%22%20%20%7B'%20'%20*%20gutter_width%7D%20%7C%20%7B'%20'%20*%20display_column%7D%5E%22%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20)%0A%0A%20%20%20%20%20%20%20%20error_location%20%3D%20mo.md(%0A%20%20%20%20%20%20%20%20%20%20%20%20f%22%22%22%5C%0A%20%20%20%20**Parse%20error%3A**%20%7Berror.msg%7D%3Cbr%3E%0A%20%20%20%20Line%20%7Bline%7D%2C%20column%20%7Bcolumn%7D%22%22%22%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20error_excerpt%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20%20%20%20%20value%3D%22%5Cn%22.join(excerpt_lines)%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%22Source%20location%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20min_height%3D80%2C%0A%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20output%20%3D%20mo.callout(%0A%20%20%20%20%20%20%20%20%20%20%20%20mo.vstack((error_location%2C%20error_excerpt)%2C%20gap%3D0)%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20kind%3D%22danger%22%2C%0A%20%20%20%20%20%20%20%20)%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%20(compiled_module%2C)%0A%0A%0A%40app.cell(hide_code%3DTrue)%0Adef%20_(compiled_module%2C%20mo)%3A%0A%20%20%20%20from%20xdsl.frontend.listlang%20import%20marimo%20as%20listlang_marimo%0A%0A%20%20%20%20result%20%3D%20None%0A%20%20%20%20if%20compiled_module%20is%20not%20None%3A%0A%20%20%20%20%20%20%20%20try%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20result%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20value%3Dlistlang_marimo.interp_main(compiled_module)%2C%0A%20%20%20%20%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%20%20%20%20%20disabled%3DTrue%2C%0A%20%20%20%20%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%20%20%20%20%20min_height%3D100%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20except%20Exception%20as%20_error%3A%0A%20%20%20%20%20%20%20%20%20%20%20%20_notes%20%3D%20getattr(_error%2C%20%22__notes__%22%2C%20())%0A%20%20%20%20%20%20%20%20%20%20%20%20_message%20%3D%20%22%5Cn%22.join((*_notes%2C%20str(_error)))%0A%20%20%20%20%20%20%20%20%20%20%20%20_error_output%20%3D%20mo.ui.code_editor(%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20value%3D_message%2C%0A%20%20%20%20%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%20%20%20%20%20disabled%3DTrue%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20label%3D%22Interpretation%20error%22%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20%20min_height%3D100%2C%0A%20%20%20%20%20%20%20%20%20%20%20%20)%0A%20%20%20%20%20%20%20%20%20%20%20%20result%20%3D%20mo.callout(_error_output%2C%20kind%3D%22danger%22)%0A%0A%20%20%20%20result%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