git.iko.soy/Idris-dev
on master help sign in
history ofsrc/Idris/Elab/Record.hs
all commits
193589fWhy nub a list when you can use a set.Jan de Muijnck-Hughes 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes 83bb62fUnused binds (#4067)Jason Felice d4bd8e6Clean up unused imports (#4065)Jason Felice 488c5b7Add RigCount to PPi/PlicityEdwin Brady e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan f2c3b8dBind parameters as implicits in record functionsEdwin Brady 0896073Added documentation for modules.Jan de Muijnck-Hughes 1019ce5Source file stylings & Haddock.Jan de Muijnck-Hughes 92a4d84Implicit bindings warningsEdwin Brady e95b013Made Parser submodules actual submodules.Jan de Muijnck-Hughes 39a8c78Categorised the Logs.Jan de Muijnck-Hughes 83f0af1Display expected type of RHS in error messagesEdwin Brady 3f31e4eAdd support to keep track of records in IBC filesGuglielmo Fachini 555feb5Add support to keep track of records in IStateGuglielmo Fachini bf6c327Allow mutually recursive recordsEdwin Brady a54852bHighlighting for pairs, lists and sigmasDavid Raymond Christiansen 3cd25e6Add extra HL information to PRefDavid Raymond Christiansen 202c913Logging levels must be explicitly mentioned.Jan de Muijnck-Hughes cc83850Accurate highlighting for recordsDavid Raymond Christiansen 95d90f4Better highlighting for data declarationsDavid Raymond Christiansen 268296fHighlight the names in type declarationsDavid Raymond Christiansen 689e64bHighlight pi and lambda bindersDavid Raymond Christiansen c46243bInitial implementation of semantic editor hightlightingDavid Raymond Christiansen 4f6f8b0Rearrange signature for Haddock happinessDavid Raymond Christiansen 0afd6f2Docs for new record syntaxDavid Raymond Christiansen 37ebed3Don't project record parametersDavid Raymond Christiansen c1cd201Merge remote-tracking branch 'refs/remotes/upstream/master' into agda-style-recordsDavid Raymond Christiansen c380421Move ElabTerm into Elab.TermEdwin Brady 8e112d7Added testssualitu 0269d05More record stuff.Sune Alkaersig 86bcbbcAllowed unnamed fields.Sune Alkærsig bbbe880Merged.Sune Alkærsig 4373184Added records to changelog.Sune Alkærsig f36a8f7Revamped record elaboration.Sune Alkærsig b5372b5Removed argument customization for now.Sune Alkærsig 173703dAdded new (co)record syntax.Sune Alkærsig e0cab49Allow implicits to appear anywhereEdwin Brady e90316aSupport type errors in docstringsDavid Raymond Christiansen 37292e1Save terms in docstringsDavid Raymond Christiansen c72d0f4Split elaborator into multiple source filesEdwin Brady