git.iko.soy/Idris-dev
on 385dcbf help sign in
history ofsrc/Idris/Directives.hs
all commits
e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 08cef17HLint DIrected Code CleanupJan de Muijnck-Hughes 4ed9c1bAdded %thaw directiveEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 2cfcbcfPositivity checking under parametersEdwin Brady 9297ae4Allow 'data' declarations in interfacesEdwin Brady c56d5cfAddition of a Fragile directive.Jan de Muijnck-Hughes 8b152bbUpdated formatting for Directives.Jan de Muijnck-Hughes a2dc0f2Fix %freeze when names are ambiguousEdwin Brady c9d2027Use exact name lookup for hidingEdwin Brady d161f3dMerge pull request #2937 from melted/path_spacesNiklas Larsson 8a9ca44Added %auto_implicits directiveEdwin Brady 28c596bDo not split arguments indiscriminately on spacesNiklas Larsson c6a8862Add %deprecate directiveEdwin Brady e04ba85Highlight names in directivesDavid Raymond Christiansen d8de21fAdd export listsNiklas Larsson 445f6a5Make PDirective IO monad freeNiklas Larsson