../ BindingGroups.hsAdd function to accumulate values over types appearing inside a value/declaration/binder.13 years ago CaseDeclarations.hsRemove syb from code gen / fresh name generation13 years ago DoNotation.hsMore work on removing syb13 years ago Names.hsYet more work on replacing SYB13 years ago Operators.hsMore work on removing syb13 years ago TypeClasses.hsFix #376 and make types more easily understandable by pushing foralls before constraints in type class members.13 years ago TypeDeclarations.hsAdd position info to most errors13 years ago