|
Mantis - Bisect
|
|||||
| Erweiterte Problemanzeige | |||||
|
|
|||||
| ID: | Kategorie: | Auswirkung: | Reproduzierbar: | Meldungsdatum: | Letzte Aktualisierung: |
| 95 | general | kleinerer Fehler | immer | 2012-01-15 20:34 | 2012-08-14 19:32 |
|
|
|||||
| Reporter: | sliquister | Rechnertyp: | |||
| Bearbeitung durch: | xclerc | Betriebssystem: | |||
| Priorität: | normal | BS-Version: | |||
| Status: | erledigt | Produktversion: | 1.1 | ||
| Produkt-Build: | Lösung: | erledigt | |||
| Projektion: | keine | ||||
| Aufwand: | keine | Behoben in Version: | 1.2 | ||
|
|
|||||
| Zusammenfassung: | 0000095: pp_bisect prevents polymorphic recursion | ||||
| Beschreibung: |
pp_bisect removes the quantifiers in type annotations like 'a. 'a -> unit, so the result of the processing does not type anymore if it uses polymorphic recursion. |
||||
| Schritte zur Reproduktion: | |||||
| Zusätzliche Information: |
Simple example of a program that is broken by pp_bisect: let rec f : 'a. 'a -> unit = fun _ -> f 0; f "" |
||||
| Problem-Beziehungen | |||||
| Angehängte Dateien: | |||||
|
|
|||||
| Problem-Historie | |||||
| Änderungsdatum | Benutzername | Feld | Änderung | ||
| 2012-01-15 20:34 | sliquister | Neues Problem | |||
| 2012-08-14 19:32 | xclerc | Status | neu => erledigt | ||
| 2012-08-14 19:32 | xclerc | Behoben in Version | => 1.2 | ||
| 2012-08-14 19:32 | xclerc | Lösung | offen => erledigt | ||
| 2012-08-14 19:32 | xclerc | Bearbeitung durch | => xclerc | ||
| Zu diesem Problem gibt es keine Notizen. |