I need to disable the credential helper for OS X: git credential-osxkeychain It is disabled both in the global config file and in the local one, in fact it has never ben enabled. Still, it keeps memorizing my github login details. I'm on a laptop, so I don't want automatic passwordless access to my repos. I will use ssh keys. This is a new computer, and the whole system setup is still a work in pr
The short answer is that type inference doesn't always work with higher-rank types. In this case, it is unable to infer the type of (.), but it type checks if we add an explicit type annotation: > :m + Control.Monad.ST > :set -XRankNTypes > :t (((.) :: ((forall s0. ST s0 a) -> a) -> (a -> forall s1. ST s1 a) -> a -> a) runST return) $ True (((.) :: ((forall s0. ST s0 a) -> a) -> (a -> forall s1. S
I'm following this lecture by Simon Peyton-Jones on GADT's. There, the following data-type is declared: data T a where T0 :: Bool -> T Bool T1 :: T a And then the question that is asked is what is the type of the following function: f x y = case x of T0 _ -> True T1 -> y To me, it seems the only possible type is: f :: T a -> Bool -> Bool However, the following type: f :: T a -> a -> a is also vali
Say, I have a script that gets called with this line: ./myscript -vfd ./foo/bar/someFile -o /fizz/someOtherFile or this one: ./myscript -v -f -d -o /fizz/someOtherFile ./foo/bar/someFile What's the accepted way of parsing this such that in each case (or some combination of the two) $v, $f, and $d will all be set to true and $outFile will be equal to /fizz/someOtherFile?
Long answer, that might help you elsewhere. If I want to know about something in SBT, I inspect it: > inspect console [info] Task: Unit [info] Description: [info] Starts the Scala interpreter with the project classes on the classpath. [info] Provided by: [info] {file:/home/dcs/github/anti-xml/}default-39679a/compile:console [info] Dependencies: [info] compile:compilers(for console) [info] compile:
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く