• Julien Lopez's avatar
    We don't need parentheses for type variables in regexp anymore, the syntax is · 9b94eb11
    Julien Lopez authored
    now as such:
    	- ['a] is the regexp matching the type variable "a";
    	- ['a'] is the regexp matching the string "a";
    	- ['a' 'a] is the regexp matching the string "a" followed by the type
    	variable "a";
    	- ['a''a] is a syntax error (a string in single quotes in a regexp MUST
    	be followed by a character that cannot be the beginning of a name for a
    	type variable, a blank character will do).
    
    Bug: At this point, when using CDuce at toplevel, one will have to press enter
    twice when typing a regexp with type variables.
    9b94eb11
cduce.ml 12.8 KB