summaryrefslogtreecommitdiff
path: root/compiler/supercompile/Supercompile/GHC.hs
diff options
context:
space:
mode:
authorMax Bolingbroke <batterseapower@hotmail.com>2012-12-06 16:31:49 +0000
committerMax Bolingbroke <batterseapower@hotmail.com>2012-12-06 16:31:49 +0000
commit08e33edf20e2274b1266b4809ecea5678014b0a3 (patch)
tree62ee3fa337df15da2c3c6c985099b22f41808344 /compiler/supercompile/Supercompile/GHC.hs
parent5ff68875f73bd52faa3fe94631aab4cb2c05a70b (diff)
downloadhaskell-supercompiler.tar.gz
Last bug fixes and flag additions.supercompiler
Diffstat (limited to 'compiler/supercompile/Supercompile/GHC.hs')
-rw-r--r--compiler/supercompile/Supercompile/GHC.hs2
1 files changed, 1 insertions, 1 deletions
diff --git a/compiler/supercompile/Supercompile/GHC.hs b/compiler/supercompile/Supercompile/GHC.hs
index 0c0086459d..63bc1dc3e5 100644
--- a/compiler/supercompile/Supercompile/GHC.hs
+++ b/compiler/supercompile/Supercompile/GHC.hs
@@ -55,7 +55,7 @@ desc = desc' . unI
desc' :: S.TermF Identity -> Description
desc' (S.Var x) = Opaque (S.varString x)
desc' (S.Value _) = Opaque "value"
-desc' (S.TyApp e1 _) = argOf (desc e1)
+desc' (S.TyApp e1 _) = desc e1 -- NB: no argOf for type arguments because they don't get ANFed, so it's a bit redundant
desc' (S.CoApp e1 _) = argOf (desc e1)
desc' (S.App e1 _) = argOf (desc e1)
desc' (S.PrimOp pop as es) = foldr (\() d -> argOf d) (Opaque (show pop)) (map (const ()) as ++ map (const ()) es)