History log of /seL4-l4v-10.1.1/l4v/spec/haskell/mkhsboot.pl
Revision Date Author Comments
# 34e437f9 26-Aug-2018 Ilya Yanok <ilya.yanok@gmail.com>

haskell: hide Prelude.Word in generated hsboot files


# 796887d9 11-Jul-2017 Alejandro Gomez-Londono <alejandro.gomez@nicta.com.au>

Removes all trailing whitespaces


# c103dfc3 06-Jul-2016 Rafal Kolanski <rafal.kolanski@nicta.com.au>

haskell: allow underscores in module names in mkhsboot

Wasted so much time figuring out this was a problem.


# ebc7cbe5 23-May-2016 Japheth Lim <Japheth.Lim@nicta.com.au>

haskell: move Haskell kernel into spec/