coevolving std::Layout with std::Whitespace (see issue #86)

usethesource · Dec 23, 2012 · b42b710 · DavyLandman · Dec 24, 2012 · DavyLandman
1 parent 7cef136
commit b42b710
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/org/rascalmpl/library/lang/std/Layout.rsc b/src/org/rascalmpl/library/lang/std/Layout.rsc
@@ -1,5 +1,5 @@
 @license{
-  Copyright (c) 2009-2011 CWI
+  Copyright (c) 2009-2013 CWI
   All rights reserved. This program and the accompanying materials
   are made available under the terms of the Eclipse Public License v1.0
   which accompanies this distribution, and is available at
@@ -12,7 +12,7 @@ extend lang::std::Whitespace;
 extend lang::std::Comment;
 
 layout Standard 
-  = WhitespaceOrComment* !>> [\ \t\n\f\r] !>> "//";
+  = WhitespaceOrComment* !>> [\u0009-\u000D \u0020 \u0085 \u00A0 \u1680 \u180E \u2000-\u200A \u2028 \u2029 \u202F \u205F \u3000] !>> "//";
 
 syntax WhitespaceOrComment 
   = whitespace: Whitespace