From 243f1e6cd5e147fdd96b5298e4df44546e5eea28 Mon Sep 17 00:00:00 2001
From: Silly Carbon <crew.long@outlook.com>
Date: Fri, 26 Jan 2024 15:03:41 +0800
Subject: [PATCH] Fixes #23085: update grammars for 'concept' (#23256)

Fixes #23085
---
 compiler/parser.nim | 5 +++--
 doc/grammar.txt     | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/compiler/parser.nim b/compiler/parser.nim
index 024807a8a6..9390c7d1bd 100644
--- a/compiler/parser.nim
+++ b/compiler/parser.nim
@@ -2189,7 +2189,8 @@ proc parseObject(p: var Parser): PNode =
 proc parseTypeClassParam(p: var Parser): PNode =
   let modifier =
     case p.tok.tokType
-    of tkOut, tkVar: nkVarTy
+    of tkVar: nkVarTy
+    of tkOut: nkOutTy
     of tkPtr: nkPtrTy
     of tkRef: nkRefTy
     of tkStatic: nkStaticTy
@@ -2205,7 +2206,7 @@ proc parseTypeClassParam(p: var Parser): PNode =
   setEndInfo()
 
 proc parseTypeClass(p: var Parser): PNode =
-  #| conceptParam = ('var' | 'out')? symbol
+  #| conceptParam = ('var' | 'out' | 'ptr' | 'ref' | 'static' | 'type')? symbol
   #| conceptDecl = 'concept' conceptParam ^* ',' (pragma)? ('of' typeDesc ^* ',')?
   #|               &IND{>} stmt
   result = newNodeP(nkTypeClassTy, p)
diff --git a/doc/grammar.txt b/doc/grammar.txt
index f1484bb0b1..51b3e0053c 100644
--- a/doc/grammar.txt
+++ b/doc/grammar.txt
@@ -187,7 +187,7 @@ objectCase = 'case' declColonEquals ':'? COMMENT?
 objectPart = IND{>} objectPart^+IND{=} DED
            / objectWhen / objectCase / 'nil' / 'discard' / declColonEquals
 objectDecl = 'object' ('of' typeDesc)? COMMENT? objectPart
-conceptParam = ('var' | 'out')? symbol
+conceptParam = ('var' | 'out' | 'ptr' | 'ref' | 'static' | 'type')? symbol
 conceptDecl = 'concept' conceptParam ^* ',' (pragma)? ('of' typeDesc ^* ',')?
               &IND{>} stmt
 typeDef = identVisDot genericParamList? pragma '=' optInd typeDefValue