Advertisement
Guest User

Untitled

a guest
Sep 15th, 2018
99
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 16.75 KB | None | 0 0
  1. 2018-09-15 19:47:16.1959814 [ThreadId 3] - run entered for hie-wrapper(hie-wrapper) Version 0.2.2.0, Git revision c72c54359891d4763211968bd623e4a773ff7e99 (1908 commits) x86_64 ghc-8.4.3
  2. 2018-09-15 19:47:16.1959814 [ThreadId 3] - Current directory:c:\development\projects\codingbat-haskell
  3. 2018-09-15 19:47:16.4630677 [ThreadId 3] - Cradle directory:C:\development\projects\codingbat-haskell
  4. 2018-09-15 19:47:16.4630677 [ThreadId 3] - Using stack GHC version
  5. 2018-09-15 19:47:16.6966253 [ThreadId 3] - Project GHC version:8.4.3
  6. 2018-09-15 19:47:16.6966253 [ThreadId 3] - hie exe candidates :("hie-8.4.3","hie-8.4")
  7. 2018-09-15 19:47:16.6966253 [ThreadId 3] - found hie exe at:c:\Users\pakr\AppData\Roaming\local\bin\hie-8.4.3.exe
  8. 2018-09-15 19:47:16.6966253 [ThreadId 3] - args:["-d","-l","hie-server.log","--lsp"]
  9. 2018-09-15 19:47:16.6966253 [ThreadId 3] - launching ....
  10.  
  11.  
  12.  
  13. 2018-09-15 19:47:16.7122497 [ThreadId 3] - Using stack GHC version
  14. 2018-09-15 19:47:16.9513673 [ThreadId 3] - Run entered for HIE(hie-8.4.3.exe) Version 0.2.2.0, Git revision c72c54359891d4763211968bd623e4a773ff7e99 (1908 commits) x86_64 ghc-8.4.3
  15. 2018-09-15 19:47:16.9513673 [ThreadId 3] - Current directory:c:\development\projects\codingbat-haskell
  16. 2018-09-15 19:47:16.9513673 [ThreadId 3] -
  17.  
  18.  
  19.  
  20.  
  21. haskell-lsp:Starting up server ...
  22. 2018-09-15 19:47:16.9513673 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"initialize","params":{"capabilities":{"textDocument":{"completion":{"completionItem":{"snippetSupport":false}}},"workspace":{"applyEdit":true,"didChangeWatchedFiles":{"dynamicRegistration":true}}},"processId":20460,"rootPath":"c:\\development\\projects\\codingbat-haskell","rootUri":"file:///C:/development/projects/codingbat-haskell","trace":"off"},"id":81}
  23. 2018-09-15 19:47:16.9513673 [ThreadId 3] - haskell-lsp:initializeRequestHandler: setting current dir to project root:C:\development\projects\codingbat-haskell
  24. 2018-09-15 19:47:16.9513673 [ThreadId 5] - <--2--{"result":{"capabilities":{"textDocumentSync":{"openClose":true,"change":2,"willSave":false,"willSaveWaitUntil":false,"save":{"includeText":false}},"workspace":{},"documentRangeFormattingProvider":true,"documentHighlightProvider":true,"executeCommandProvider":{"commands":["23788:applyrefact:applyOne","23788:applyrefact:applyAll","23788:applyrefact:lint","23788:base:version","23788:base:plugins","23788:base:commands","23788:base:commandDetail","23788:brittany:format","23788:build:prepare","23788:build:isConfigured","23788:build:configure","23788:build:listTargets","23788:build:listFlags","23788:build:buildDirectory","23788:build:buildTarget","23788:ghcmod:check","23788:ghcmod:lint","23788:ghcmod:info","23788:ghcmod:type","23788:ghcmod:casesplit","23788:hare:demote","23788:hare:dupdef","23788:hare:iftocase","23788:hare:liftonelevel","23788:hare:lifttotoplevel","23788:hare:rename","23788:hare:deletedef","23788:hare:genapplicative","23788:hoogle:info","23788:hoogle:lookup","23788:hsimport:import","23788:liquid:sayHello","23788:liquid:sayHelloTo","23788:package:add"]},"renameProvider":true,"definitionProvider":true,"hoverProvider":true,"codeActionProvider":true,"completionProvider":{"triggerCharacters":["."],"resolveProvider":true},"documentSymbolProvider":true,"documentFormattingProvider":true,"referencesProvider":true}},"jsonrpc":"2.0","id":81}
  25. 2018-09-15 19:47:17.0502864 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"initialized","params":{}}
  26. 2018-09-15 19:47:17.0513231 [ThreadId 9] - ****** reactor: got message number:0
  27. 2018-09-15 19:47:17.0513231 [ThreadId 9] - ****** reactor: processing Initialized Notification
  28. 2018-09-15 19:47:17.0513231 [ThreadId 9] - Using stack GHC version
  29. 2018-09-15 19:47:17.0513231 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/didOpen","params":{"textDocument":{"languageId":"haskell","text":"module Julie where\n\nimport Data.Char\n\npam :: (a -> b) -> [a] -> [b]\npam function [] = []\npam function (head:tail) =\n function head : pam function tail\n\nlla :: (a -> Bool) -> [a] -> Bool\nlla function [] = True\nlla function (x:xs) =\n case (function x) of\n False -> False\n True -> lla function xs\n\nfoldLla :: (a -> Bool) -> [a] -> Bool\nfoldLla function xs =\n foldr (\\x y -> function x && y) True xs\n\ndata User = User Username Password\n\ndata Username = Username String\n\ndata Password = Password String\n\n--- data Maybe a = Nothing | Just a\n\nisPalindrome :: String -> Maybe String\nisPalindrome \"\" = Nothing\nisPalindrome xs =\n case xs == reverse xs of\n False -> Just \"This string is not a palindrome\"\n True -> Just \"This string is a palindrome\"\n\nignoreSpaces :: String -> String\nignoreSpaces xs = (concat . words) xs\n\nignoreCaps :: String -> String\nignoreCaps xs = map toLower xs\n\nignoreCapsAndSpaces :: String -> String\nignoreCapsAndSpaces xs = (ignoreCaps . ignoreSpaces) xs\n\nisWord :: String -> Maybe String\nisWord \"\" = Nothing\nisWord xs =\n case all isAlpha xs of\n False -> Nothing\n True -> Just xs\n\ncheckInput :: String -> Maybe String\ncheckInput xs =\n case (isWord . ignoreCapsAndSpaces) xs of\n Nothing -> Just \"Input isn't a word\"\n Just xs' -> isPalindrome xs'\n\nmaybeMap :: (a -> b) -> Maybe a -> Maybe b\nmaybeMap function Nothing = Nothing\nmaybeMap function (Just x) = Just (function x)\n\nlowercase = map toLower\n\n\n-- fmap :: Functor f => (a -> b) -> (f a -> f b)\n\n\n-- Either implementation\ndata (Choice a) b = This a | That b\n\ninstance Functor (Choice a) where\n -- fmap :: (b -> c) -> (Choice x) b -> (Choice x) c\n fmap function (This x) = This x\n fmap function (That b) = That (function b)\n\n\ndata Pair a b = Pair a b\n\ninstance Functor (Pair a) where\n -- fmap :: (b -> c) -> (Pair x) b -> Pair x c\n fmap function (Pair x b) = Pair x (function b)\n\n\ndata MojMaybe x = Nic | Nieco x\n\n-- (a -> b) -> f a -> f b\ninstance Functor MojMaybe where\n fmap funkcia Nic = Nic\n fmap funkcia (Nieco x) = Nieco (funkcia x)\n\ninstance Applicative MojMaybe where\n pure a = Nieco a\n\n-- instance Functor [] where\n-- fmap funkcia [] = []\n-- fmap funkcia (hlavicka:zvysok) = funkcia hlavicka : fmap funkcia zvysok\n\n\n-- IO String -> (String -> Maybe String) -> (Show a => a -> IO ())\nmain = do -- introduces special syntax\n word <- getLine\n -- String\n print $ checkInput word\n\n-- fmap :: (a -> b) -> f a -> f b\n-- =<< :: (a -> m b) -> m a -> m b\n-- >>= :: m a -> (a -> m b) -> m b\n\n-- desugared main\nmain2 :: IO ()\nmain2 = getLine >>= (\\x -> print (checkInput x))\n-- m a a a -> m b\n-- IO String String String -> IO (Maybe String)\n","uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs","version":0}}}
  30. 2018-09-15 19:47:17.0513231 [ThreadId 5] - <--2--{"jsonrpc":"2.0","params":{"type":4,"message":"Using hie version: Version 0.2.2.0, Git revision c72c54359891d4763211968bd623e4a773ff7e99 (1908 commits) x86_64 ghc-8.4.3"},"method":"window/logMessage"}
  31. 2018-09-15 19:47:17.2776002 [ThreadId 12] - ghcDispatcher: top of loop
  32. 2018-09-15 19:47:17.2776002 [ThreadId 13] - ideDispatcher: top of loop
  33. 2018-09-15 19:47:17.2932248 [ThreadId 9] - ****** reactor: got message number:1
  34. 2018-09-15 19:47:17.2932248 [ThreadId 12] - ghcDispatcher:got request 0 with id: Nothing
  35. 2018-09-15 19:47:17.2932248 [ThreadId 9] - ****** reactor: processing NotDidOpenTextDocument
  36. 2018-09-15 19:47:17.2932248 [ThreadId 12] - ghcDispatcher: top of loop
  37. 2018-09-15 19:47:17.2932248 [ThreadId 9] - requestDiagnostics: no diagFunc for:DiagnosticOnOpen
  38. 2018-09-15 19:47:17.2932248 [ThreadId 5] - <--2--{"jsonrpc":"2.0","params":{"type":4,"message":"Using hoogle db at: C:\\Users\\pakr\\AppData\\Roaming\\hoogle\\default-haskell-5.0.17.hoo"},"method":"window/logMessage"}
  39. 2018-09-15 19:47:17.2932248 [ThreadId 12] - ghcDispatcher:got request 1 with id: Nothing
  40. 2018-09-15 19:47:17.5791327 [ThreadId 12] - file mapping state is: fromList [("C:\\development\\projects\\codingbat-haskell\\app\\Julie.hs",FileMapping {fmPath = "C:\\temp\\ghc-mod23789\\Jul1A09.hs", fmTemp = True})]
  41. 2018-09-15 19:47:17.5791327 [ThreadId 12] - ghcDispatcher: top of loop
  42. 2018-09-15 19:47:17.5791327 [ThreadId 12] - ghcDispatcher:got request 1 with id: Nothing
  43. 2018-09-15 19:47:17.5791327 [ThreadId 12] - ghcDispatcher:Processing request as version matches
  44. 2018-09-15 19:47:36.4776384 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/typeDefinition","params":{"buftype":"","character":0,"filename":"c:\\development\\projects\\codingbat-haskell\\app\\Julie.hs","gotoCmd":null,"handle":true,"languageId":"haskell","line":6,"method":"textDocument/typeDefinition","position":{"character":0,"line":6},"text":["module Julie where","","import Data.Char","","pam :: (a -> b) -> [a] -> [b]","pam function [] = []","pam function (head:tail) ="," function head : pam function tail","","lla :: (a -> Bool) -> [a] -> Bool","lla function [] = True","lla function (x:xs) ="," case (function x) of"," False -> False"," True -> lla function xs","","foldLla :: (a -> Bool) -> [a] -> Bool","foldLla function xs ="," foldr (\\x y -> function x && y) True xs","","data User = User Username Password","","data Username = Username String","","data Password = Password String","","--- data Maybe a = Nothing | Just a","","isPalindrome :: String -> Maybe String","isPalindrome \"\" = Nothing","isPalindrome xs ="," case xs == reverse xs of"," False -> Just \"This string is not a palindrome\""," True -> Just \"This string is a palindrome\"","","ignoreSpaces :: String -> String","ignoreSpaces xs = (concat . words) xs","","ignoreCaps :: String -> String","ignoreCaps xs = map toLower xs","","ignoreCapsAndSpaces :: String -> String","ignoreCapsAndSpaces xs = (ignoreCaps . ignoreSpaces) xs","","isWord :: String -> Maybe String","isWord \"\" = Nothing","isWord xs ="," case all isAlpha xs of"," False -> Nothing"," True -> Just xs","","checkInput :: String -> Maybe String","checkInput xs ="," case (isWord . ignoreCapsAndSpaces) xs of"," Nothing -> Just \"Input isn't a word\""," Just xs' -> isPalindrome xs'","","maybeMap :: (a -> b) -> Maybe a -> Maybe b","maybeMap function Nothing = Nothing","maybeMap function (Just x) = Just (function x)","","lowercase = map toLower","","","-- fmap :: Functor f => (a -> b) -> (f a -> f b)","","","-- Either implementation","data (Choice a) b = This a | That b","","instance Functor (Choice a) where"," -- fmap :: (b -> c) -> (Choice x) b -> (Choice x) c"," fmap function (This x) = This x"," fmap function (That b) = That (function b)","","","data Pair a b = Pair a b","","instance Functor (Pair a) where"," -- fmap :: (b -> c) -> (Pair x) b -> Pair x c"," fmap function (Pair x b) = Pair x (function b)","","","data MojMaybe x = Nic | Nieco x","","-- (a -> b) -> f a -> f b","instance Functor MojMaybe where"," fmap funkcia Nic = Nic"," fmap funkcia (Nieco x) = Nieco (funkcia x)","","instance Applicative MojMaybe where"," pure a = Nieco a","","-- instance Functor [] where","-- fmap funkcia [] = []","-- fmap funkcia (hlavicka:zvysok) = funkcia hlavicka : fmap funkcia zvysok","","","-- IO String -> (String -> Maybe String) -> (Show a => a -> IO ())","main = do -- introduces special syntax"," word <- getLine"," -- String"," print $ checkInput word","","-- fmap :: (a -> b) -> f a -> f b","-- =<< :: (a -> m b) -> m a -> m b","-- >>= :: m a -> (a -> m b) -> m b","","-- desugared main","main2 :: IO ()","main2 = getLine >>= (\\x -> print (checkInput x))","-- m a a a -> m b","-- IO String String String -> IO (Maybe String)",""],"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":87}
  45. 2018-09-15 19:47:57.3382157 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/rename","params":{"newName":"pam1","position":{"character":0,"line":6},"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":90}
  46. 2018-09-15 19:48:11.6383003 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/definition","params":{"buftype":"","character":0,"filename":"c:\\development\\projects\\codingbat-haskell\\app\\Julie.hs","gotoCmd":null,"handle":true,"languageId":"haskell","line":6,"method":"textDocument/definition","position":{"character":0,"line":6},"text":["module Julie where","","import Data.Char","","pam :: (a -> b) -> [a] -> [b]","pam function [] = []","pam function (head:tail) ="," function head : pam function tail","","lla :: (a -> Bool) -> [a] -> Bool","lla function [] = True","lla function (x:xs) ="," case (function x) of"," False -> False"," True -> lla function xs","","foldLla :: (a -> Bool) -> [a] -> Bool","foldLla function xs ="," foldr (\\x y -> function x && y) True xs","","data User = User Username Password","","data Username = Username String","","data Password = Password String","","--- data Maybe a = Nothing | Just a","","isPalindrome :: String -> Maybe String","isPalindrome \"\" = Nothing","isPalindrome xs ="," case xs == reverse xs of"," False -> Just \"This string is not a palindrome\""," True -> Just \"This string is a palindrome\"","","ignoreSpaces :: String -> String","ignoreSpaces xs = (concat . words) xs","","ignoreCaps :: String -> String","ignoreCaps xs = map toLower xs","","ignoreCapsAndSpaces :: String -> String","ignoreCapsAndSpaces xs = (ignoreCaps . ignoreSpaces) xs","","isWord :: String -> Maybe String","isWord \"\" = Nothing","isWord xs ="," case all isAlpha xs of"," False -> Nothing"," True -> Just xs","","checkInput :: String -> Maybe String","checkInput xs ="," case (isWord . ignoreCapsAndSpaces) xs of"," Nothing -> Just \"Input isn't a word\""," Just xs' -> isPalindrome xs'","","maybeMap :: (a -> b) -> Maybe a -> Maybe b","maybeMap function Nothing = Nothing","maybeMap function (Just x) = Just (function x)","","lowercase = map toLower","","","-- fmap :: Functor f => (a -> b) -> (f a -> f b)","","","-- Either implementation","data (Choice a) b = This a | That b","","instance Functor (Choice a) where"," -- fmap :: (b -> c) -> (Choice x) b -> (Choice x) c"," fmap function (This x) = This x"," fmap function (That b) = That (function b)","","","data Pair a b = Pair a b","","instance Functor (Pair a) where"," -- fmap :: (b -> c) -> (Pair x) b -> Pair x c"," fmap function (Pair x b) = Pair x (function b)","","","data MojMaybe x = Nic | Nieco x","","-- (a -> b) -> f a -> f b","instance Functor MojMaybe where"," fmap funkcia Nic = Nic"," fmap funkcia (Nieco x) = Nieco (funkcia x)","","instance Applicative MojMaybe where"," pure a = Nieco a","","-- instance Functor [] where","-- fmap funkcia [] = []","-- fmap funkcia (hlavicka:zvysok) = funkcia hlavicka : fmap funkcia zvysok","","","-- IO String -> (String -> Maybe String) -> (Show a => a -> IO ())","main = do -- introduces special syntax"," word <- getLine"," -- String"," print $ checkInput word","","-- fmap :: (a -> b) -> f a -> f b","-- =<< :: (a -> m b) -> m a -> m b","-- >>= :: m a -> (a -> m b) -> m b","","-- desugared main","main2 :: IO ()","main2 = getLine >>= (\\x -> print (checkInput x))","-- m a a a -> m b","-- IO String String String -> IO (Maybe String)",""],"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":91}
  47. 2018-09-15 19:48:40.5117173 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/signatureHelp","params":{"position":{"character":0,"line":6},"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":93}
  48. 2018-09-15 19:48:40.5117173 [ThreadId 5] - <--2--{"jsonrpc":"2.0","params":{"type":1,"message":"haskell-lsp:no handler for. Object (fromList [(\"jsonrpc\",String \"2.0\"),(\"params\",Object (fromList [(\"textDocument\",Object (fromList [(\"uri\",String \"file:///C:/development/projects/codingbat-haskell/app/Julie.hs\")])),(\"position\",Object (fromList [(\"line\",Number 6.0),(\"character\",Number 0.0)]))])),(\"method\",String \"textDocument/signatureHelp\"),(\"id\",Number 93.0)])"},"method":"window/logMessage"}
  49. 2018-09-15 19:49:01.3503322 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/signatureHelp","params":{"position":{"character":0,"line":4},"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":95}
  50. 2018-09-15 19:49:01.3503322 [ThreadId 5] - <--2--{"jsonrpc":"2.0","params":{"type":1,"message":"haskell-lsp:no handler for. Object (fromList [(\"jsonrpc\",String \"2.0\"),(\"params\",Object (fromList [(\"textDocument\",Object (fromList [(\"uri\",String \"file:///C:/development/projects/codingbat-haskell/app/Julie.hs\")])),(\"position\",Object (fromList [(\"line\",Number 4.0),(\"character\",Number 0.0)]))])),(\"method\",String \"textDocument/signatureHelp\"),(\"id\",Number 95.0)])"},"method":"window/logMessage"}
  51. 2018-09-15 19:49:19.7545795 [ThreadId 3] - ---> {"jsonrpc":"2.0","method":"textDocument/hover","params":{"position":{"character":0,"line":4},"textDocument":{"uri":"file:///C:/development/projects/codingbat-haskell/app/Julie.hs"}},"id":96}
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement