--- a/compiler/extensions.st	Wed Nov 19 10:52:37 2014 +0000
+++ b/compiler/extensions.st	Mon Nov 24 00:09:23 2014 +0000
@@ -19,6 +19,7 @@
 		name: self name;
 		block: block;
 		child: parser;
+		properties: properties;
 		yourself
 ! !
 
@@ -468,7 +469,7 @@
 	| ws |
 	ws := #space asParser star.
 	^ ((ws, (PPTokenParser on: self), ws) ==> #second)
-		name: 'trimmingToken';
+		propertyAt: #trimmingToken put: true;
 		yourself
 ! !
 
@@ -570,6 +571,7 @@
 	^ PPCSequenceNode new
 		children: parsers;
 		name: self name;
+		properties: properties;
 		yourself
 ! !
 
@@ -688,6 +690,14 @@
 
 !PPSmalltalkWhitespaceParser methodsFor:'*petitcompiler'!
 
+= anotherParser
+	anotherParser == self ifTrue: [ ^ true ].
+	anotherParser class = self class ifFalse: [ ^ false ].
+ ^ anotherParser name = self name
+! !
+
+!PPSmalltalkWhitespaceParser methodsFor:'*petitcompiler'!
+
 acceptsEpsilon
 	^ true
 ! !