../ AbsSyntax.hsput toSC in the right place14 years ago Compiler.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago Coverage.hsPass pattern variable names to match compiler15 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.hsParsing restrictions for implicit argument types14 years ago ElabDecls.hsFix a tactic implicit bug when argument given explicitly14 years ago ElabTerm.hsDifferent approach to bytecode14 years ago Error.hsCheck definitions structurally as well as by name in conversion15 years ago IBC.hsAllow explicit names on type class instances (for explicit resolution)14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hsFirst baby steps towards a new RTS (and towards removing epic dependency)14 years ago Primitives.hsTowards primitives in new VM14 years ago Prover.hsCheck patterns are inaccessible15 years ago REPL.hsStarted C generation14 years ago REPLParser.hsAdd "--errorcontext" flag, and :set and :unset in the REPL. :set errorcontext will cause unification errors to also dump the current context.15 years ago Transforms.hsAdd Transform module; make implicit args lazy15 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