OccNames for closure conversion
authorRoman Leshchinskiy <rl@cse.unsw.edu.au>
Tue, 1 May 2007 04:14:04 +0000 (04:14 +0000)
committerRoman Leshchinskiy <rl@cse.unsw.edu.au>
Tue, 1 May 2007 04:14:04 +0000 (04:14 +0000)
compiler/basicTypes/OccName.lhs

index 9fb287f..4968463 100644 (file)
@@ -32,6 +32,7 @@ module OccName (
        mkDataTOcc, mkDataCOcc, mkDataConWorkerOcc,
        mkSuperDictSelOcc, mkLocalOcc, mkMethodOcc, mkInstTyTcOcc,
        mkInstTyCoOcc, mkEqPredCoOcc,
+        mkCloOcc, mkCloTyCoOcc,
 
        -- ** Deconstruction
        occNameFS, occNameString, occNameSpace, 
@@ -457,6 +458,10 @@ mkGenOcc2           = mk_simple_deriv varName  "$gto"
 mkDataTOcc = mk_simple_deriv varName  "$t"
 mkDataCOcc = mk_simple_deriv varName  "$c"
 
+-- Closure conversion
+mkCloOcc     = mk_simple_deriv varName "$CC_"
+mkCloTyCoOcc = mk_simple_deriv tcName  ":CC_"
+
 mk_simple_deriv sp px occ = mk_deriv sp px (occNameString occ)
 
 -- Data constructor workers are made by setting the name space