Semantic: list pattern items

nois-lang · Apr 21, 2024 · af8a009 · af8a009
1 parent 2d5c399
commit af8a009
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 3 deletions.
diff --git a/src/scope/std.ts b/src/scope/std.ts
@@ -7,6 +7,7 @@ export const preludeVid = vidFromString('std::prelude')
 // TODO: lack of std types must throw notFoundError
 export const bool: VidType = { kind: 'vid-type', identifier: vidFromString('std::bool::Bool'), typeArgs: [] }
 export const string: VidType = { kind: 'vid-type', identifier: vidFromString('std::string::String'), typeArgs: [] }
+export const list: VidType = { kind: 'vid-type', identifier: vidFromString('std::list::List'), typeArgs: [holeType] }
 
 export const show: VidType = { kind: 'vid-type', identifier: vidFromString('std::io::show::Show'), typeArgs: [] }
 export const trace: VidType = { kind: 'vid-type', identifier: vidFromString('std::io::trace::Trace'), typeArgs: [] }

diff --git a/src/semantic/match.ts b/src/semantic/match.ts
@@ -1,7 +1,8 @@
 import { ConPattern, Pattern } from '../ast/match'
 import { Name } from '../ast/operand'
 import { Context, addError, defKey } from '../scope'
-import { idToVid, vidToString } from '../scope/util'
+import { list } from '../scope/std'
+import { idToVid, vidEq, vidToString } from '../scope/util'
 import { NameDef, resolveVid } from '../scope/vid'
 import { VidType, VirtualFnType, VirtualType, isAssignable } from '../typecheck'
 import { makeGenericMapOverStructure, resolveType } from '../typecheck/generic'
@@ -40,8 +41,18 @@ export const checkPattern = (
                 addError(ctx, unexpectedRefutablePatternError(ctx, pattern.expr))
                 break
             }
-            // TODO: check item patterns
-            expr.type = unknownType
+            if (!(expectedType.kind === 'vid-type' && vidEq(expectedType.identifier, list.identifier))) {
+                addError(ctx, typeError(ctx, pattern, expectedType, list))
+                expr.type = unknownType
+                break
+            }
+            expr.type = expectedType
+
+            const itemType = expectedType.typeArgs[0]
+            expr.itemPatterns.forEach(p => {
+                checkPattern(p, itemType, ctx, refutable)
+            })
+
             break
         case 'con-pattern':
             if (expectedType.kind !== 'vid-type') {