Containers (#12)

* Switch to 'turbofish' generics syntax and '['/']' for builtin container delimiters * Extend/modify type inference code to handle builtin containers
andy-byers · Jul 19, 2024 · ee861e7 · ee861e7
1 parent 0a8f670
commit ee861e7
Show file tree

Hide file tree

Showing 41 changed files with 3,650 additions and 2,655 deletions.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -64,7 +64,6 @@ target_sources(paw
             ${PAW_SOURCE_DIR}/unify.h
             ${PAW_SOURCE_DIR}/util.h
             ${PAW_SOURCE_DIR}/value.h
-            ${PAW_SOURCE_DIR}/vector.h
     PRIVATE ${PAW_SOURCE_DIR}/api.c
             ${PAW_SOURCE_DIR}/ast.c
             ${PAW_SOURCE_DIR}/auxlib.c

diff --git a/GRAMMER.md b/GRAMMER.md
@@ -60,7 +60,7 @@ Declaration = VarDecl | FunctionDecl | StructDecl |
               EnumDecl | TypeDecl .
 VarDecl     = "let" name [":" Type] "=" Expr .
 TypeDecl    = "type" name [Generics] "=" Type .
-Generics    = "[" {name ","} name "]" .
+Generics    = "<" {name ","} name [","] ">" .
 ```
 
 ### Functions
@@ -110,8 +110,8 @@ Type       = NamedType | TypeLit .
 TypeLit    = FuncType | VectorType | MapType | 
              TupleType | NamedType .
 FuncType   = "fn" "(" [TypeList] ")" ["->" Type] .
-TypeList   = {Type ","} Type .
-TypeArgs   = "[" TypeList "]" .
+TypeList   = {Type ","} Type [","] .
+TypeArgs   = "::" "<" TypeList ">" .
 NamedType  = name [TypeArgs] .
 VectorType = "[" Type "]" .
 MapType    = "[" Type ":" Type "]" .