git.iko.soy/Idris-dev
on 1b71663 help sign in
history ofsrc/Idris/Core/Constraints.hs
all commits
3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes d4bd8e6Clean up unused imports (#4065)Jason Felice 3fc435fTurn on some LANGUAGE pragmas to make stylish-haskell happy.Echo Nolan e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan a854972Small reduction in constraint generationEdwin Brady fdfa04cStore file with constraints + exportEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 752174funiverse inconsistency errors can originate from two places. make the error message consistent between these two.Ozgur Akgun 8ab1ac6Richer universe error objectsDavid Raymond Christiansen 9dc7105Cache constraint set in solver stateEdwin Brady 6c673c2Change Solver to use ConstraintFC, not a pairEdwin Brady cc9895dMerge branch 'improve-universe-solver' of https://github.com/ozgurakgun/Idris-dev into ozgurakgun-improve-universe-solverEdwin Brady baad761avoid adding the same constraint to the queueOzgur Akgun 7fe57bfonly adding constraints to the queue when the relevant bound is updatedOzgur Akgun d57d60aUse a Set for universe constraintsEdwin Brady 9284294Add fc to universe error messageEdwin Brady d44a2dffancier queue implementation: the queue contains a set of constraints (without the FCs) so duplicate checking is a bit fasterOzgur Akgun 800601dignore constraints of the form: "x <= x"Ozgur Akgun b681600using a strict data type for domains instead of a pairOzgur Akgun ee4d1cbavoiding repeated checksOzgur Akgun 22914ecanother tweak, do not register unary constraintsOzgur Akgun 00e9e93do not print the involved variables in the case of an errorOzgur Akgun 488fe79using the strict version of the state monadOzgur Akgun aceabb1using sets instead of listsOzgur Akgun 4eec42cadding some comments and removing redundant importsOzgur Akgun 4a2ef38store the "involved" constraints next to the domain of a var. will help with error reporting.Ozgur Akgun ebac3cbgetting rid of InfInt, turned out not to be neededOzgur Akgun 517dbd2Var is a newtypeOzgur Akgun 174876cstarted reimplementing universe checkingOzgur Akgun 535346dUse Set to remove duplicate constraintsEdwin Brady 684a578Completely replace ErrorT with ExceptTbmsherman 18b1e12Lifted FIXME from Core/Constraints.Jan de Muijnck-Hughes d34472aFaster universe checkingEdwin Brady 0c8c90dStrictness annotationsEdwin Brady 5000aebAdd a Cabal libraryBrian McKenna