sras

Ok, here is a story of how I got Windows/MacOS duel boot on my mid 2012 macbook
pro.

So the official method was to use 'Bootcamp Assistant' on MacOS along with a
windows ISO file obtained from Microsoft. So in my first attempt, I tried to
download a MacOS installation from app store. But it turned out that you need
MacOS to download the installation from the app store. So I downloaded the
installation ISO for `High Sierra', from some other website, and did the
install. So I have MacOS now. Then I proceeded to fire the Bootcamp Assistant,
and plugged in a 16gb usb flash drive started the process. Oh, I also had

sras

data Test where
  Test :: (forall a. (Typeable a) => a -> ()) -> Test

callTest :: Test -> ()
callTest (Test fn) = case cast 'c' of   <-- Error here
  Just b -> fn b

||     • No instance for (Typeable a0) arising from a use of ‘cast’
||     • In the expression: cast 'c'
||       In the expression: case cast 'c' of { Just b -> fn b }

sras

stack ghci > >(tee stdout.log) 2> >(tee stderr.log >&2)