teaching/muMLE
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Adding bytes as a type

Browse source
This commit is contained in:
Inte Vleminckx 2025-02-05 15:20:25 +01:00
parent 6c41c83f4f
commit 86cd7027f3
7 changed files with 57 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

2
concrete_syntax/textual_od/renderer.py
View file

@ -9,7 +9,7 @@ def render_od(state, m_id, mm_id, hide_names=True):
m_od = od.OD(mm_id, m_id, state)
serialized = set(["Integer", "String", "Boolean", "ActionCode"]) # assume these types always already exist
serialized = set(["Integer", "String", "Boolean", "ActionCode", "Bytes"]) # assume these types always already exist
def display_name(name: str):
# object names that start with "__" are hidden