From e9b66ed3b5b661eccb08e8955455b1b2e6e95154 Mon Sep 17 00:00:00 2001 From: Matthijs Kooijman Date: Tue, 23 Jun 2009 12:09:22 +0200 Subject: [PATCH] Remove dummy mkConcSm clause for r = r bindings. These bindings are generated by GHC, but are now removed by normalization as they are not part of the normal form. --- VHDL.hs | 5 ----- 1 file changed, 5 deletions(-) diff --git a/VHDL.hs b/VHDL.hs index f0d423d..3eddd8b 100644 --- a/VHDL.hs +++ b/VHDL.hs @@ -319,11 +319,6 @@ mkConcSm (bndr, app@(CoreSyn.App _ _))= do return [AST.CSISm $ AST.CompInsSm (mkVHDLExtId label) (AST.IUEntity (AST.NSimple entity_id)) (AST.PMapAspect portmaps)] details -> error $ "Calling unsupported function " ++ pprString f ++ " with GlobalIdDetails " ++ pprString details --- GHC generates some funny "r = r" bindings in let statements before --- simplification. This outputs some dummy ConcSM for these, so things will at --- least compile for now. -mkConcSm (bndr, CoreSyn.Var _) = return [AST.CSPSm $ AST.ProcSm (mkVHDLBasicId "unused") [] []] - -- A single alt case must be a selector. This means thee scrutinee is a simple -- variable, the alternative is a dataalt with a single non-wild binder that -- is also returned. -- 2.30.2