../ AbsSyntax.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago AbsSyntaxTree.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago Compiler.hsSet up for adding new compiler back ends more easily14 years ago Coverage.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago DSL.hsChange meaning of alternative syntax (| a , b , ... |) Now takes the first alternative to elaborate,rather than requiring exactly one to work. Old behaviour reserved for disambiguating namespaces.15 years ago DataOpts.hsPass pattern variable names to match compiler15 years ago Delaborate.hsReport error for missing type declaration14 years ago ElabDecls.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago ElabTerm.hsDeal with shadowing better in patterns Variable names in patterns should override global names, as long as they are not applied to anything. If the global name is desired (e.g. if it is the result of a dependency elsewhere, either use a _ or give the quali…14 years ago Error.hsStarting unused argument analysis14 years ago IBC.hsStarting unused argument analysis14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsfix parsing for with-clause14 years ago Primitives.hsAdded fork (but not working properly yet)14 years ago Prover.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago REPL.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago REPLParser.hsAdded --dumpcases <file> option for dumping case trees on compiling14 years ago Transforms.hsTest file for new VM, hook up parser14 years ago Unlit.hsRemoved 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.15 years ago UnusedArgs.hsStarting unused argument analysis14 years ago