|
Erweiterte Problemanzeige
[ Zu Notizen wechseln ]
|
[ einfache Anzeige ]
[ Problem-Historie ]
[ Drucken ]
|
|
ID |
Kategorie |
Auswirkung |
Reproduzierbar |
Meldungsdatum |
Letzte Aktualisierung |
|
0000095 |
[Bisect] general |
kleinerer Fehler |
immer |
2012-01-15 20:34 |
2012-08-14 19:32 |
|
|
Reporter |
sliquister |
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.2 |
Produktversion |
1.1 |
| |
Zielversion |
|
Produkt-Build |
|
|
|
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 ""
|
| Tags |
Keine Tags zugeordnet. |
|
|
Angehängte Dateien |
|
|
|
Problem-Beziehungen 
