Brummel/AILang
1
0
Fork 0
Code Issues 29 Pull Requests Actions Packages Projects Releases Wiki Activity

iter ct.1.5: migrate bare cross-module type refs in examples/

Browse Source
This commit is contained in:
Brummel
2026-05-11 01:40:20 +02:00
parent 5e653ff536
commit d3280e9adf
2 changed files with 72 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files
examples/ordering_match.ail.json
+47 -12
View File
@@ -9,11 +9,15 @@
"type": {
"k": "fn",
"params": [],
"ret": { "k": "con", "name": "Unit" },
"effects": ["IO"]
"ret": {
"k": "con",
"name": "Unit"
},
"effects": [
"IO"
]
},
"params": [],
"doc": "Iter 23.1 fixture: pattern-match on prelude Ordering ctor without explicit prelude import.",
"body": {
"t": "do",
"op": "io/print_int",
@@ -22,27 +26,58 @@
"t": "match",
"scrutinee": {
"t": "ctor",
"type": "Ordering",
"type": "prelude.Ordering",
"ctor": "LT",
"args": []
},
"arms": [
{
"pat": { "p": "ctor", "ctor": "LT", "fields": [] },
"body": { "t": "lit", "lit": { "kind": "int", "value": 1 } }
"pat": {
"p": "ctor",
"ctor": "LT",
"fields": []
},
"body": {
"t": "lit",
"lit": {
"kind": "int",
"value": 1
}
}
},
{
"pat": { "p": "ctor", "ctor": "EQ", "fields": [] },
"body": { "t": "lit", "lit": { "kind": "int", "value": 2 } }
"pat": {
"p": "ctor",
"ctor": "EQ",
"fields": []
},
"body": {
"t": "lit",
"lit": {
"kind": "int",
"value": 2
}
}
},
{
"pat": { "p": "ctor", "ctor": "GT", "fields": [] },
"body": { "t": "lit", "lit": { "kind": "int", "value": 3 } }
"pat": {
"p": "ctor",
"ctor": "GT",
"fields": []
},
"body": {
"t": "lit",
"lit": {
"kind": "int",
"value": 3
}
}
}
]
}
]
}
},
"doc": "Iter 23.1 fixture: pattern-match on prelude Ordering ctor without explicit prelude import."
}
]
}
}