Changes between Version 44 and Version 45 of StrawPoll-1

Timestamp:

03/27/06 07:02:06 (7 years ago)

Author:

bastiaan@…

Comment:

--

StrawPoll-1

@@ -77 +77 @@
 ||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || N  ||   N  ||    ||    ||     ||  N ||    || #100   || Replace named fields with an extensible record system
 ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||     ||    ||    ||     ||  Y ||    || #80    || Reform the monomorphism restriction
-||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    || Y  ||     ||    ||    || #78    || Add infix type constructors
-||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level
+||    ||    ||    ||    || Y || Y  || Y  || Y  ||    ||    ||    ||   Y  ||    || Y  ||     ||    ||    || #78    || Add infix type constructors
+||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #82    || Allow import declarations anywhere at the top level
 ||    ||    ||    ||    ||    ||    ||    ||    ||    ||    || Y  ||   Y  ||    ||    ||     ||    ||    || #81    || scoping of type variables in class instances
 ||    ||    ||    ||    ||    ||    || M  ||    ||    ||    ||    ||   M  ||    ||    ||     ||    ||    || #88    || unified and extensible annotations
-||    ||    ||    ||    ||    ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #19    || control export and import of class instances
+||    ||    ||    ||    || M ||    || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #19    || control export and import of class instances
 ||    ||    ||    ||    ||    ||    || Y  ||    ||    ||    ||    ||   Y  ||    ||    ||     ||    ||    || #17    || relax restriction on signatures of class methods
-||    ||    ||    ||    ||    || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #68    || Eliminate tabs
-||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax
+||    ||    ||    ||    || Y || Y  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||    ||    || #68    || Eliminate tabs
+||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #64    || add recursive do syntax
 ||    ||    ||    ||    ||    || Y  || N  || N  ||    ||    || N  ||   Y  ||    || Y  ||     ||  N ||    || #37    || add GADTs
-||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   M  ||    ||    ||     ||  N ||    || #73    || add views
+||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   M  ||    ||    ||     ||  N ||    || #73    || add views
 ||    ||    ||    ||  Y ||    || M  ||    ||    ||    ||    ||    ||   N  ||    ||    ||     ||  N ||    || #71    || Allow Undecidable Instances
 ||    ||    ||    ||    ||    ||    ||    || N  ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #54    || add overlapping or incoherent instances
-||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params
+||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||   N  ||    || N  ||     ||  N ||    || #43    || add Linear implicit params
 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   M  ||    ||    ||     ||  M ||    || #36    || add FunctionalDependencies
-||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #77    || add MultiWayIf
-||    ||    ||    ||    ||    ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #69    || allow tuple sections
-||    ||    ||    ||    ||    || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #38    || add implicit parameters
+||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   Y  ||    ||    ||     ||  N ||    || #77    || add MultiWayIf
+||    ||    ||    ||    || N ||    || N  || Y  ||    ||    || N  ||     ||    || Y  ||     ||    ||    || #69    || allow tuple sections
+||    ||    ||    ||    || N || N  || N  || N  ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #38    || add implicit parameters
 ||    ||    ||    ||    ||    || N  || N  ||    ||    ||    ||    ||   N  ||    ||    ||     ||    ||    || #14    || add Associated Types
-||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows
-||    ||    ||    ||    ||    || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #18    || add closed classes
-||    ||    ||    ||    ||    || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||    || #84    || Kind Annotations
+||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||     ||    ||    ||     ||  N ||    || #13    || add Arrows
+||    ||    ||    ||    || N || N  || N  ||    ||    ||    || N  ||   N  ||    ||    ||     ||    ||    || #18    || add closed classes
+||    ||    ||    ||    || Y || Y  || Y  || Y  ||    ||    || N  ||  Y   ||    || Y  ||     ||    ||    || #84    || Kind Annotations
 
 ----