| 6 |
/AnnotatedPF.hs |
jpcorreia |
5 years |
The inference correctly deals with In's for the hard-coded examples. Sample module still yields an empty result - no successful inference. Polymorphic intermediate functors are transformed to monomorphic by changing every variable for a unit. "Debug" mode - some intermediate values are printed, some of them to file. |
