From 66bd092fcb22a67bd4bfd5f47b6408fca77cc1f7 Mon Sep 17 00:00:00 2001
From: HoshinoTented <hoshinotented@qq.com>
Date: Sat, 4 Jan 2025 19:44:21 +0800
Subject: [PATCH] pat: some doc

---
 base/src/main/java/org/aya/tyck/pat/PatternTycker.java | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/base/src/main/java/org/aya/tyck/pat/PatternTycker.java b/base/src/main/java/org/aya/tyck/pat/PatternTycker.java
index 9d3ac1052..84fbf153d 100644
--- a/base/src/main/java/org/aya/tyck/pat/PatternTycker.java
+++ b/base/src/main/java/org/aya/tyck/pat/PatternTycker.java
@@ -317,6 +317,12 @@ public enum Kind {
       patterns.next();    // consume pattern
     }
 
+    // now: ! patterns.hasNext()
+    // or patterns.hasNext() && ! telescope.hasNext() && patterns.isFromPusheen()
+    // or patterns.hasNext() && telescope.hasNext() && patterns.isFromPusheen() && telescope.isFromPusheen()
+
+    // all not pusheen patterns have their parameters
+
     // is there any explicit parameters?
     var generated = findNextParam(null, p ->
         p.explicit()