git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofsrc/Idris/Unlit.hs
all commits
c5eb90cAdded TODOs for Unlit.hsJan de Muijnck-Hughes 7437ebePrepared data structure of FC for spanning, and added the span of the last token parsed to IdrisAhmad Salim Al-Sibahi 5000aebAdd a Cabal libraryBrian McKenna 3c32b65Whitespace cleanup.George Leontiev 57c8657Added column name to sourceAhmad Salim Al-Sibahi 63038b3Use the ErrorT failure functions and attempt to preserve error structureDavid Christiansen 7fe382dFix Unlit to cope with documentation comment syntaxEdwin Brady bd61594Removed need for terminating ; A declaration is now considered terminated on encountering a token in the same column as the declaration began - or on encountering a semicolon. Libraries and some tests updated.Edwin Brady dea8d48Added support for literate programming with bird tracks (use .lidr extension)Edwin Brady