on master help sign in
remove stale/unused TutorialD datetime parser (users should use the atom function constructor instead)
989bb3bAgentM
project-m36.cabal−1
@@ -200,7 +200,6 @@ Executable tutd
200 TutorialD.Interpreter.RODatabaseContextOperator,
200 TutorialD.Interpreter.RODatabaseContextOperator,
201 TutorialD.Interpreter.TransactionGraphOperator,
201 TutorialD.Interpreter.TransactionGraphOperator,
202 TutorialD.Interpreter.DataTypes.Interval,
202 TutorialD.Interpreter.DataTypes.Interval,
203− TutorialD.Interpreter.DataTypes.DateTime,
204 TutorialD.Interpreter.Import.BasicExamples,
203 TutorialD.Interpreter.Import.BasicExamples,
205 TutorialD.Interpreter.InformationOperator,
204 TutorialD.Interpreter.InformationOperator,
206 TutorialD.Interpreter.Export.Base,
205 TutorialD.Interpreter.Export.Base,
src/bin/TutorialD/Interpreter/DataTypes/DateTime.hsdeleted−22
@@ -1,22 +0,0 @@
1−module TutorialD.Interpreter.DataTypes.DateTime where
2−import Text.Parsec
3−import ProjectM36.Base
4−import Text.Parsec.String
5−import TutorialD.Interpreter.Base
6−import Data.Time.Clock
7−import Data.Time.Format
8−
9−dateTimeAtomP :: Parser Atom
10−dateTimeAtomP = do
11− dateTime' <- try $ do
12− dateTime <- dateTimeStringP
13− reserved "::datetime"
14− return dateTime
15− return $ Atom dateTime'
16−
17−dateTimeStringP :: Parser UTCTime
18−dateTimeStringP = do
19− dateTimeString <- quotedString
20− case parseTimeM False defaultTimeLocale "%Y-%m-%d %H:%M:%S" dateTimeString of
21− Just utctime -> return $ (utctime :: UTCTime)
22− Nothing -> fail $ "Failed to parse datetime from " ++ dateTimeString