Mantis Bugtracker

Einfache Problemansicht anzeigen Zu Notizen wechseln ] erweiterte 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  
Status erledigt   Produktversion 1.1
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.
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

Zu diesem Problem gibt es keine Notizen.

- 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


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