git.iko.soy/Idris-dev
on 54e4e41 help sign in
history ofsrc/Pkg/PParser.hs
all commits
45d9624Stop generating bogus executable namesDavid Raymond Christiansen 4ebafb4Highlight names of simple variable referencesDavid Raymond Christiansen da3a26cAccurate locations for constantsDavid Raymond Christiansen 5300c53Fix :exec on WindowsNiklas Larsson 85cf83fAllow building with base-4.8.0.0RyanGlScott 24acd05windows executables should end with .exeHeather 67f7373Support builds that doesn't use cabal for libs and rtsniklas e2a34a8Add --testpkg option + tests section in IPKG filesDavid Raymond Christiansen 9be5866started working on new cmd arg parserklrr eb29608Properly ignore comments in ipkg filesDavid Raymond Christiansen 5265109Allow comments in .ipkg filesDavid Raymond Christiansen 654c0f8Make sure package parsing reaches end of fileEdwin Brady 46e894dUse Data.Text for variable namesEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna 8e974c7Parser cleanup. Removing scaffolding parsers, rewrite PParser and IdeSlave from parsec to Haskell. No more parsec dependenciesAhmad Salim Al-Sibahi 3c32b65Whitespace cleanup.George Leontiev 6d7a6aaChange comment rules Comments cannot begin '{-|' or '--|'. This is now reserved for documentation comments, which will be part of the syntax to support documentation at the REPL.Edwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady