X-Git-Url: https://gerrit.simantics.org/r/gitweb?a=blobdiff_plain;f=bundles%2Forg.simantics.scl.compiler%2Fsrc%2Forg%2Fsimantics%2Fscl%2Fcompiler%2Finternal%2Fparsing%2Fparser%2FSCL.grammar;h=3b3d5f7db3375beb39967744ddd3a43de7a02a92;hb=HEAD;hp=e17b5e70fb6d886f9d6e7b40b1bf7c472d8b2d7e;hpb=82a87b8535628d47d9c381e1a3a2296fb67c7fd0;p=simantics%2Fplatform.git

diff --git a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar
index e17b5e70f..3b3d5f7db 100644
--- a/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar
+++ b/bundles/org.simantics.scl.compiler/src/org/simantics/scl/compiler/internal/parsing/parser/SCL.grammar
@@ -244,6 +244,7 @@ guardedExpArrow
 field
     = ID EQUALS exp                                          # Field
     | ID                                                     # FieldShorthand
+    | DOTDOT                                                 # Wildcard
     ;
 
 /******************************************************************************
@@ -299,6 +300,7 @@ btype
 
 atype
     = ID                                                     # TypeVar
+    | DOUBLE_LESS ID (COMMA ID)* DOUBLE_GREATER              # PlainEffect
     | LPAREN (type (COMMA type)*)? RPAREN                    # TupleType
     | LBRACKET type RBRACKET                                 # ListType
     | LBRACKET RBRACKET                                      # ListTypeConstructor
@@ -320,6 +322,8 @@ symbol
     | MINUS                                                  # Minus
     | LESS                                                   # Less
     | GREATER                                                # Greater
+    | DOUBLE_LESS                                            # DoubleLess
+    | DOUBLE_GREATER                                         # DoubleGreater
     | SEPARATED_DOT                                          # Dot
     ;