../ AbsSyntax.hsLift syntax tree, main monad and pretty printing out of AbsSyntax14 years ago AbsSyntaxTree.hsTest file for new VM, hook up parser14 years ago Compiler.hsOutput C file (not finished...)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.hsQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 years ago ElabDecls.hsQuicker resolution of overloaded names By checking the name's type against the goal type rather than fully checking.14 years ago ElabTerm.hsUnification tweak Use the code the programmer gives, not code the unifier finds.14 years ago Error.hsNo need to qualify unambiguous names on :p14 years ago IBC.hsAdded binding form to syntax rules (and updated tutorial accordingly)14 years ago Imports.hsAdd --ibcsubdir option (thanks to Dirk Ullrich)15 years ago Parser.hstiny tiny tiny typo fix14 years ago Primitives.hsTowards primitives in new VM14 years ago Prover.hsCheck patterns are inaccessible15 years ago REPL.hsNo need to qualify unambiguous names on :p14 years ago REPLParser.hsOutput C file (not finished...)14 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