Changes between Version 40 and Version 41 of DataParallel/ClosureConversion/ClassLess

Timestamp:

04/30/07 21:29:26 (6 years ago)

Author:

chak

Comment:

--

DataParallel/ClosureConversion/ClassLess

@@ -17 +17 @@
  * `ConvCC convDecl`: The variant `convDecl` is the closure-converted form of `thisDecl`.
 An example of a feature that prevents conversion are unboxed values.  We cannot make a closure from a function that has an unboxed argument, as we can neither instantiate the parametric polymorphic closure type with unboxed types, nor can we put unboxed values into the existentially quantified environment of a closure.
+
+'''TODO:''' We won't really store `StatusCC` in `TyCon`s, `DataCon`s, and `Id`s, but instead have three finite maps maintaining the same information.
 
 === Conversion pairs ===
@@ -184 +186 @@
 {{{
 T^            = T_CC , if tyConCC T == ConvCC T_CC
-                T    , otherwise
-a^            = a    
+              = T    , otherwise
+a^            = a
+(t1 -> t2)^   = t1^ -> t2^ , if kindOf t1 == #
+                             or kindOf t2 == #
+              = t1^ :-> t2^, otherwise
 (t1 t2)^      = t1^ t2^
 (forall a.t)^ = forall a.t^
 }}}
-
+Here some examples,
+{{{
+(Int -> Int)^           = Int :-> Int
+(forall a. [a] -> [a])^ = [a] :-> [a]
+([Int -> Int] -> Int)^  = [Int :-> Int] :-> Int
+(Int# -> Int# -> Int#)^ = Int# -> Int# -> Int#
+((Int -> Int) -> Int#)^ = (Int :-> Int) -> Int#
+(Int -> Int -> Int#)^   = Int :-> (Int -> Int#)
+}}}
+
+=== Converting value bindings ===
+
+==== Bindings ====
+
+==== Toplevel ====
+
+When converting a toplevel binding for `f :: t`, we generate `f_CC :: t^`.  
+
+
+The alternatives `GlobalId` and `LocalId` of `Var.Var` get a new field `idCC :: StatusCC Id` whose values, for a declaration `f`, we determine as follows:
+ * If `Id`'s declaration uses any features that we cannot (or currently, don't want to) convert, set `idCC` to `NoCC`.
+ * If all type constructors involved in `f`'s type are marked `NoCC` or `AsIsCC`, we set `f`'s `idCC` field to `AsIsCC`.
+ * Otherwise, convert `f` and set its `ifCC` field to `ConvCC f_CC`.
 
 ----
 chak: revision front
 ----
-
-
-
-=== Converting value bindings ===
-
-When converting a toplevel binding for `f :: t`, we generate `f_CC :: t^`.  The alternatives `GlobalId` and `LocalId` of `Var.Var` get a new field `idCC :: StatusCC Id` whose values, for a declaration `f`, we determine as follows:
- * If `Id`'s declaration uses any features that we cannot (or currently, don't want to) convert, set `idCC` to `NoCC`.
- * If all type constructors involved in `f`'s type are marked `NoCC` or `AsIsCC`, we set `f`'s `idCC` field to `AsIsCC`.
- * Otherwise, convert `f` and set its `ifCC` field to `ConvCC f_CC`.
 
 === Converting core terms ===