From ed333003733fd3f3a3de015998f59ee1a709230a Mon Sep 17 00:00:00 2001 From: Ben Lippmeier Date: Thu, 25 Nov 2010 06:23:32 +0000 Subject: [PATCH] vectoriser: tracing wibbles --- compiler/vectorise/Vectorise/Type/PADict.hs | 15 +++++++-------- 1 file changed, 7 insertions(+), 8 deletions(-) diff --git a/compiler/vectorise/Vectorise/Type/PADict.hs b/compiler/vectorise/Vectorise/Type/PADict.hs index 677a7bf..6b67f66 100644 --- a/compiler/vectorise/Vectorise/Type/PADict.hs +++ b/compiler/vectorise/Vectorise/Type/PADict.hs @@ -19,11 +19,11 @@ import TypeRep import Id import Var import Name -import Outputable import Class +import Outputable -debug = False -dtrace s x = if debug then pprTrace "Vectoris.Type.PADict" s x else x +-- debug = False +-- dtrace s x = if debug then pprTrace "Vectoris.Type.PADict" s x else x -- | Build the PA dictionary for some type and hoist it to top level. -- The PA dictionary holds fns that convert values to and from their vectorised representations. @@ -35,9 +35,10 @@ buildPADict -> VM Var -- ^ name of the top-level dictionary function. buildPADict vect_tc prepr_tc arr_tc repr - = dtrace (text "buildPADict" <+> ppr vect_tc <+> ppr prepr_tc <+> ppr arr_tc) - $ polyAbstract tvs $ \args@[] -> - do + = polyAbstract tvs $ \args -> + case args of + (_:_) -> pprPanic "Vectorise.Type.PADict.buildPADict" (text "why do we need superclass dicts?") + [] -> do -- TODO: I'm forcing args to [] because I'm not sure why we need them. -- class PA has superclass (PR (PRepr a)) but we're not using -- the superclass dictionary to build the PA dictionary. @@ -51,8 +52,6 @@ buildPADict vect_tc prepr_tc arr_tc repr $ mkConApp pa_dc $ Type inst_ty : map (method_call args) method_ids - dtrace (text "dict = " <+> ppr dict) $ return () - -- Build the type of the dictionary function. pa_tc <- builtin paTyCon let pa_opitems = [(id, NoDefMeth) | id <- method_ids] -- 1.7.10.4