lib/hilbert/lexer/main_lexer.rb in hilbert-0.0.2700320 vs lib/hilbert/lexer/main_lexer.rb in hilbert-0.0.2700400

@@ -4,14 +4,14 @@
       # TODO: So far so good, but...
       rule(/postulate zfc_analysis/) { :POST_ZFC }
       rule(/paradox\?/) { :P_PARAD }
       rule(/\A.*[A-RT-Z].*\?.*\z/m) { :EVALOGIC }
       rule(/\A.*[A-RT-Z].*\z/m) { :DEFLOGIC }
-      rule(/[ \t\f]/)
+      rule(/#{SPC}/)
 
-      rule(/(\r|\n)+/) { :NULL }
+      rule(/#{NLIN}+/) { :NULL }
 
-      rule(/[^\(\)\{\}(\n\n)]+/) { :CONT }
+      rule(/[^\(\)\{\}(\n\n)]+/) { :UNKNOW }
       class << self
         include Tokens
         def zfc_analysis!
           clear!
           rule(/postulate zfc_analysis/) { :POST_ZFC }