sfja/h4-projekt-gruppe-0-sm
1
0
Fork 0
mirror of https://github.com/Mercantec-GHC/h4-projekt-gruppe-0-sm.git synced 2025-04-28 00:34:06 +02:00
Code Issues Packages Projects Releases Wiki Activity

compiler: exhaust match

Browse Source
This commit is contained in:
sfja 2025-02-06 02:24:04 +01:00
parent f09858a41d
commit eafabc8afa
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
slige/compiler/check/checker.ts
View File

@ -225,8 +225,16 @@ export class Checker {
switch (k.tag) { switch (k.tag) {
case "error": case "error":
return todo(); return todo();
case "bind": case "bind": {
switch (patRes.kind.tag) {
case "fn_param":
return todo();
case "let":
return todo();
}
exhausted(patRes.kind);
return todo(); return todo();
}
case "path": case "path":
return todo(); return todo();
} }