結果

問題 No.721 Die tertia (ディエ・テルツィア)
ユーザー torus711torus711
提出日時 2018-09-06 20:14:28
言語 Haskell
(9.8.2)
結果
CE  
(最新)
AC  
(最初)
実行時間 -
コード長 743 bytes
コンパイル時間 963 ms
コンパイル使用メモリ 150,784 KB
最終ジャッジ日時 2024-05-02 22:41:40
合計ジャッジ時間 1,480 ms
ジャッジサーバーID
（参考情報） 		judge4 / judge1
このコードへのチャレンジ
（要ログイン）
コンパイルエラー時のメッセージ・ソースコードは、提出者また管理者しか表示できないようにしております。（リジャッジ後のコンパイルエラーは公開されます）
ただし、clay言語の場合は開発者のデバッグのため、公開されます。

コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )

Main.hs:15:1: error: [GHC-87110]
    Could not load module ‘Data.Time’.
    It is a member of the hidden package ‘time-1.12.2’.
    Use -v to see a list of the files searched for.
   |
15 | import Data.Time
   | ^^^^^^^^^^^^^^^^

ソースコード

diff # 

{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE BangPatterns #-}

import Control.Applicative
import Control.Monad
import Control.Arrow
import Data.List
import Data.Maybe
import Data.Char
import qualified Data.ByteString.Char8 as B
import Text.Printf
import Debug.Trace

import qualified Data.Text as T
import Data.Time

readInt = ( readLn :: IO Int )
readInts = map ( fst . fromJust . B.readInt ) . B.words <$> B.getLine
readNInts = readInt >>= flip replicateM readInt

which a b f = if f then a else b
mp [ a, b ] = ( a, b )

main = do
	[ y, m, d ] <- map ( read . T.unpack ) . T.split ( == '/' ) . T.pack <$> getLine
	let
		( ny, nm, nd ) = toGregorian . addDays 2 $ fromGregorian ( fromIntegral y ) m d
	printf "%04d/%02d/%02d\n" ny nm nd
0