anonym | Anmelden | Neues Konto anmelden | 2022-07-05 03:08 UTC |
Startseite | Übersicht | Probleme anzeigen | Änderungsprotokoll | Roadmap | Dokumentation | Konto |
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 | |||||||
|
Zu diesem Problem gibt es keine Notizen. |
Mantis 1.1.7[^] Copyright © 2000 - 2008 Mantis Group |