Mantis - Bisect
Erweiterte Problemanzeige
95 general kleinerer Fehler immer 2012-01-15 20:34 2012-08-14 19:32
sliquister  
xclerc  
normal  
erledigt 1.1  
erledigt  
keine    
keine 1.2  
0000095: pp_bisect prevents polymorphic recursion
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.
Simple example of a program that is broken by pp_bisect:
let rec f : 'a. 'a -> unit =
  fun _ ->
    f 0;
    f ""
Problem-Historie
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.