Changes between Version 37 and Version 38 of KirstenSandbox

Timestamp:

01/12/07 08:51:18 (6 years ago)

Author:

kirsten

Comment:

--

KirstenSandbox

@@ -11 +11 @@
           * basicTypes/IdInfo.lhs
           * basicTypes/NewDemand.lhs
-          * compiler/iface/BinIface.lhs
+          * compiler/coreSyn/CoreLint.lhs
+          * compiler/coreSyn/PprCore.lhs
+          * compiler/iface/BinIface.lhs  
+          * compiler/iface/IfaceSyn.lhs
           * compiler/iface/LoadIface.lhs
           * compiler/simplCore/SimplEnv.lhs
@@ -19 +22 @@
           * compiler/stranal/WorkWrap.lhs
           * compiler/stranal/WwLib.lhs
+          * compiler/types/Coercion.lhs
           * compiler/types/Type.lhs
-          * (possibly more)
    1. better comments (i.e., examples for things that may not work right)
    1. testing
@@ -36 +39 @@
    1. so as to exploit the new analysis information
 
+ 1. Think about the right way to handle this coercion stuff
+
+ 1. Formal semantics?
+
 = Old =