]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/text/txtLexer.mll
last commit for helena 0.8.2
[helm.git] / helm / software / helena / src / text / txtLexer.mll
index ec97a8b83489c98fd833a43e69f65ae2faa67014..9191f11bf30b9979ed4d47f0bb6ae5bb61ce3701 100644 (file)
@@ -61,6 +61,8 @@ and token = parse
    | ")"          { out "CP"; TP.CP       }
    | "["          { out "OB"; TP.OB       }
    | "]"          { out "CB"; TP.CB       }
+   | "{"          { out "OC"; TP.OC       }
+   | "}"          { out "CC"; TP.CC       }
    | "<"          { out "OA"; TP.OA       }
    | ">"          { out "CA"; TP.CA       }
    | "."          { out "FS"; TP.FS       }   
@@ -69,9 +71,6 @@ and token = parse
    | "="          { out "EQ"; TP.EQ       }
    | "*"          { out "STAR"; TP.STAR   }
    | "#"          { out "HASH"; TP.HASH   }
-   | "+"          { out "PLUS"; TP.PLUS   }
    | "~"          { out "TE"; TP.TE       }
-   | "->"         { out "WTO"; TP.WTO     }
-   | "=>"         { out "STO"; TP.STO     }
    | "^"          { out "CT"; TP.CT       }
    | eof          { out "EOF"; TP.EOF     }