@@ -106,12 +106,12 @@ main = do
106 eSessionId <- createSessionAtHead conn connHeadName
106 eSessionId <- createSessionAtHead conn connHeadName
107 case eSessionId of
107 case eSessionId of
108 Left err -> errDie ("Failed to create database session at \"" ++ show connHeadName ++ "\": " ++ show err)
108 Left err -> errDie ("Failed to create database session at \"" ++ show connHeadName ++ "\": " ++ show err)
109− Right sessionId -> do
109+ Right sessionId ->
110 case execTutDForConfig interpreterConfig of
110 case execTutDForConfig interpreterConfig of
111 Nothing -> do
111 Nothing -> do
112 printWelcome
112 printWelcome
113 _ <- reprLoop interpreterConfig sessionId conn
113 _ <- reprLoop interpreterConfig sessionId conn
115− Just tutdStr -> do
115+ Just tutdStr ->
116 runTutorialD sessionId conn (T.pack tutdStr)
116 runTutorialD sessionId conn (T.pack tutdStr)