Mantis - Mascot
Erweiterte Problemanzeige
ID: Kategorie: Auswirkung: Reproduzierbar: Meldungsdatum: Letzte Aktualisierung:
76 general kleinerer Fehler nicht getestet 2011-08-08 16:19 2012-08-29 20:17
Reporter: sigonnea Rechnertyp:  
Bearbeitung durch: xclerc Betriebssystem:  
Priorität: normal BS-Version:  
Status: erledigt Produktversion: 1.0-beta  
Produkt-Build: Lösung: erledigt  
Projektion: keine      
Aufwand: keine Behoben in Version: 1.0  
Zusammenfassung: 0000076: No mandatory spaces around range operator
Beschreibung: According to the example in Ocaml documentation (see section 7.4), range pattern does not have to be surrounded by whitespace.
Schritte zur Reproduktion:
Zusätzliche Information: Below is a small patch that corrects this:

diff --git a/src/checks/typo_spacesAroundOperators.ml b/src/checks/typo_spacesAroundOperators.ml
index 2d9046e..5ca5ac0 100644
--- a/src/checks/typo_spacesAroundOperators.ml
+++ b/src/checks/typo_spacesAroundOperators.ml
@@ -46,13 +46,13 @@ let run _ _ (_, tokens) _ report =
         (match s.[0] with
         | '-' | '~' ->
             Camlp4Utils.check_white "operator" s err prev
- | '$' | '%' | '&' | '*' | '+' | '/' | '<' | '=' | '>' | (* '?' | *) '@' | '^' | '|' ->
+ | '$' | '%' | '&' | '*' | '+' | '/' | '<' | '=' | '>' | '@' | '^' | '|' ->
             Camlp4Utils.check_white "operator" s err prev;
             Camlp4Utils.check_first_white "operator" s err tl
         | ':' when len > 1 && s.[1] = ':' ->
             Camlp4Utils.check_white "operator" s err prev;
             Camlp4Utils.check_first_white "operator" s err tl
- | '.' when len > 1 ->
+ | '.' when len > 1 && s <> ".." ->
             Camlp4Utils.check_white "operator" s err prev;
             Camlp4Utils.check_first_white "operator" s err tl
         | _ -> ());
Problem-Beziehungen
Angehängte Dateien:
Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2011-08-08 16:19 sigonnea Neues Problem
2012-08-29 20:17 xclerc Status neu => erledigt
2012-08-29 20:17 xclerc Behoben in Version => 1.0
2012-08-29 20:17 xclerc Lösung offen => erledigt
2012-08-29 20:17 xclerc Bearbeitung durch => xclerc

Zu diesem Problem gibt es keine Notizen.