From f3f2589012b63b74d7a11f3ecd55e07de0f660c9 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Anders=20M=C3=B6rtberg?= Date: Tue, 5 Jul 2016 16:06:27 +0200 Subject: [PATCH] fix name of local splits --- Resolver.hs | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/Resolver.hs b/Resolver.hs index 839af5f..0823c23 100644 --- a/Resolver.hs +++ b/Resolver.hs @@ -194,11 +194,11 @@ resolveExp e = case e of Split t brs -> do t' <- resolveExp t brs' <- mapM resolveBranch brs - loc <- getLoc (case brs of - OBranch (AIdent (l,_)) _ _:_ -> l - PBranch (AIdent (l,_)) _ _ _:_ -> l - _ -> (0,0)) - return $ CTT.Split "" loc t' brs' -- Do we ever use the name? + l@(Loc n (i,j)) <- getLoc (case brs of + OBranch (AIdent (l,_)) _ _:_ -> l + PBranch (AIdent (l,_)) _ _ _:_ -> l + _ -> (0,0)) + return $ CTT.Split (n ++ "_L" ++ show i ++ "_C" ++ show j) l t' brs' Let decls e -> do (rdecls,names) <- resolveDecls decls mkWheres rdecls <$> local (insertIdents names) (resolveExp e) -- 2.34.1