fix name of local splits

diff --git a/Resolver.hs b/Resolver.hs
index 839af5f9544fedf3970af3c2dda8017a62cde465..0823c23de30b0c0dc62abfbcacda9c578bd06f44 100644 (file)
--- 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)