Changes between Version 40 and Version 41 of StrawPoll-1
- Timestamp:
- 03/27/06 02:45:43 (7 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StrawPoll-1
v40 v41 82 82 || || || || || || || M || || || || || M || || || || || || #88 || unified and extensible annotations 83 83 || || || || || || || N || N || || || N || || || || || N || || #19 || control export and import of class instances 84 || || || || || || || Y || || || || || || || || || || || #17 || relax restriction on signatures of class methods84 || || || || || || || Y || || || || || Y || || || || || || #17 || relax restriction on signatures of class methods 85 85 || || || || || || Y || N || || || || N || || || || || || || #68 || Eliminate tabs 86 86 || || || || || || N || N || || || || N || || || || || N || || #64 || add recursive do syntax 87 || || || || || || Y || N || N || || || N || || || Y || || N || || #37 || add GADTs88 || || || || || || N || N || N || || || N || || || || || N || || #73 || add views89 || || || || Y || || M || || || || || || || || || || N || || #71 || Allow Undecidable Instances90 || || || || || || || || N || || || N || || || || || N || || #54 || add overlapping or incoherent instances91 || || || || || || N || N || N || || || N || || || N || || N || || #43 || add Linear implicit params87 || || || || || || Y || N || N || || || N || Y || || Y || || N || || #37 || add GADTs 88 || || || || || || N || N || N || || || N || M || || || || N || || #73 || add views 89 || || || || Y || || M || || || || || || N || || || || N || || #71 || Allow Undecidable Instances 90 || || || || || || || || N || || || N || Y || || || || N || || #54 || add overlapping or incoherent instances 91 || || || || || || N || N || N || || || N || N || || N || || N || || #43 || add Linear implicit params 92 92 || || || || || || N || N || || || || || || || || || M || || #36 || add FunctionalDependencies 93 93 || || || || || || N || N || || || || N || || || || || N || || #77 || add MultiWayIf
