Mantis Bugtracker

Erweiterte Problemanzeige Zu Notizen wechseln ] einfache Anzeige ] Problem-Historie ] Drucken ]
ID Kategorie Auswirkung Reproduzierbar Meldungsdatum Letzte Aktualisierung
0000075 [Mascot] general kleinerer Fehler nicht getestet 2011-08-08 16:17 2012-08-29 20:17
Reporter sigonnea Anzeigestatus öffentlich  
Bearbeitung durch xclerc
Priorität normal Lösung erledigt Rechnertyp
Status erledigt   Betriebssystem
Projektion keine   BS-Version
Aufwand keine Behoben in Version 1.0 Produktversion
  Zielversion Produkt-Build
Zusammenfassung 0000075: '?' should not be followed by whitespace when is refers to an optional label.
Beschreibung This means that the following:

    let f ?(foo = xxx) = ...

should be accepted.
Schritte zur Reproduktion
Zusätzliche Information Below is a small patch that corrects this bug.

diff --git a/src/checks/typo_spacesAroundOperators.ml b/src/checks/typo_spacesAroundOperators.ml
index 9909b79..2d9046e 100644
--- a/src/checks/typo_spacesAroundOperators.ml
+++ b/src/checks/typo_spacesAroundOperators.ml
@@ -46,7 +46,7 @@ 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] = ':' ->
Tags Keine Tags zugeordnet.
Angehängte Dateien

- Problem-Beziehungen

Zu diesem Problem gibt es keine Notizen.

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2011-08-08 16:17 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


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker