Verified Commit 86e6f2af authored by Camil Staps's avatar Camil Staps 🐧

Add strictness annotations

parent 5b9c4f06
......@@ -320,7 +320,7 @@ instance < Result
instance == FunctionKind
getBasicResult :: Result -> Maybe BasicResult
getBasicResult :: !Result -> Maybe BasicResult
toSingleLine :: !Request -> Maybe String
parseSingleLineRequest :: !String -> MaybeErrorString Request
......@@ -160,7 +160,7 @@ where
instance == FunctionKind where == a b = a === b
getBasicResult :: Result -> Maybe BasicResult
getBasicResult :: !Result -> Maybe BasicResult
getBasicResult (FunctionResult (br,_)) = Just br
getBasicResult (TypeResult (br,_)) = Just br
getBasicResult (ClassResult (br,_)) = Just br
......
......@@ -5,6 +5,6 @@ from Internet.HTTP import :: HTTPRequest
import Cloogle.API
toHTTPRequest :: Request -> HTTPRequest
toHTTPRequest :: !Request -> HTTPRequest
request :: Request *World -> *(MaybeErrorString Response, *World)
request :: !Request !*World -> *(MaybeErrorString Response, *World)
......@@ -15,7 +15,7 @@ import Text.GenJSON
import Cloogle.API
toHTTPRequest :: Request -> HTTPRequest
toHTTPRequest :: !Request -> HTTPRequest
toHTTPRequest req =
{ newHTTPRequest
& req_method = HTTP_GET
......@@ -35,7 +35,7 @@ where
]
where printBool b = if b "true" "false"
request :: Request *World -> *(MaybeErrorString Response, *World)
request :: !Request !*World -> *(MaybeErrorString Response, *World)
request req w = appFst ((=<<) parseResponse) $ doHTTPRequest (toHTTPRequest req) 10000 w
where
parseResponse :: HTTPResponse -> MaybeErrorString Response
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment