[new-syntax] std/ -- type no need : @Type

cicada-lang · Sep 19, 2023 · 660b8b3 · 660b8b3
1 parent 5188707
commit 660b8b3
Show file tree

Hide file tree

Showing 5 changed files with 4 additions and 5 deletions.
diff --git a/TODO.md b/TODO.md
@@ -1,6 +1,5 @@
 # new-syntax
 
-[new-syntax] `std/` -- `type` no need `: @Type`
 [new-syntax] `std/` -- `rule` use pattern matching
 
 [new-syntax] `Exp` -- `Block` has `body` and `ret`

diff --git a/std/datatype/DiffList.i b/std/datatype/DiffList.i
@@ -7,7 +7,7 @@ require "List.i"
 // plugging the front of the second argument
 // at the back of the first one.
 
-type DiffList(@Type): @Type
+type DiffList(Element: @Type)
 
 node diff(
   front: List('A),

diff --git a/std/datatype/List.i b/std/datatype/List.i
@@ -1,4 +1,4 @@
-type List: @Type
+type List(Element: @Type)
 
 node null(
   --------

diff --git a/std/datatype/Nat.i b/std/datatype/Nat.i
@@ -1,4 +1,4 @@
-type Nat: @Type
+type Nat
 
 node zero(
   ------

diff --git a/std/datatype/Trivial.i b/std/datatype/Trivial.i
@@ -1,4 +1,4 @@
-type Trivial: @Type
+type Trivial
 
 node sole(
   --------