Commits · nbu · student-projects / mapro-2017-ss · GitLab

11 Oct, 2017 1 commit
- Test coverage modification for Emacs · 800aaf91
  Niels Bunkenburg authored Oct 11, 2017
  
  800aaf91
20 Aug, 2017 6 commits
- Add main function to modified modules to enable code coverage check · 027d999e
  Niels Bunkenburg authored Aug 20, 2017
  
  027d999e
- Fix build errors regarding InstDecl and ClassDecl · 27bb402d
  Niels Bunkenburg authored Aug 20, 2017
  
  27bb402d
- fixed duplicated definition bug · ff97bcfb
  Jonas Busse authored Aug 20, 2017
  
  ff97bcfb
- added main to TestTemplate to enable coverage checking of the tests within the linter. · e49fea17
  Jonas Busse authored Aug 20, 2017
  
  e49fea17
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/student-projects/mapro-2017-ss · 27bd8f76
  Jonas Busse authored Aug 20, 2017
```
# Conflicts:
#	src/StaticAnalysis/Messages/StaticErrors.hs
```
  27bd8f76
- #22 · b6069345
  Jonas Busse authored Aug 20, 2017
  
  b6069345
19 Aug, 2017 5 commits
- Clean up imports of Select, Shadowing, TypeVarApplication, TypeVars and Undefined · bee7c6de
  Niels Bunkenburg authored Aug 19, 2017
  
  bee7c6de
- Clean up imports of Duplicated, HigherOrder, ImportUsed, Lambda,... · 9a765f8b
  Niels Bunkenburg authored Aug 19, 2017
```
Clean up imports of Duplicated, HigherOrder, ImportUsed, Lambda, ModuleHeadUsed, NoFunDef, NoTypeDef, OwnDataDecl and Pragma
```
  9a765f8b
- Clean up imports of CheckState, Level, DoUsed and Duplicated · 2d7f5ddc
  Niels Bunkenburg authored Aug 19, 2017
  
  2d7f5ddc
- Clean up imports in StaticErrors · f467fcb4
  Niels Bunkenburg authored Aug 19, 2017
  
  f467fcb4
- Usual == and /= operators can now be used in modules. #16 · a9d649c5
  Marc André Wittorf authored Aug 19, 2017
  
  a9d649c5
18 Aug, 2017 3 commits
- Added missing blank line after LANGUAGE extension in the AbstractHaskell module · 2d96a6df
  Jan-Hendrik Matthes authored Aug 18, 2017
  
  2d96a6df
- Polymorphic tests work now. Close #29 . Close #33 . · 6261f38e
  Marc André Wittorf authored Aug 18, 2017
  
  6261f38e
- Derived some functor instances for AbstractHaskell datatypes · e7d2e599
  Marc André Wittorf authored Aug 18, 2017
  
  e7d2e599
17 Aug, 2017 3 commits
- Fixed wrong type expression annotation in Var expression · cd31b849
  Jan-Hendrik Matthes authored Aug 17, 2017
  
  cd31b849
- Merge branch 'master' of ssh://git.ps.informatik.uni-kiel.de:55055/student-projects/mapro-2017-ss · f03e5558
  Jonas Busse authored Aug 17, 2017
  
  f03e5558
- updated windows docker calls · d34d2054
  Jonas Busse authored Aug 17, 2017
  
  d34d2054
16 Aug, 2017 12 commits
- Added some missing doc comments in the main inference module and simplified some functions · 5aec6caf
  Jan-Hendrik Matthes authored Aug 17, 2017
  
  5aec6caf
- Add documentation and refactor Prettify · 739e9b4f
  Niels Bunkenburg authored Aug 16, 2017
  
  739e9b4f
- Refactor Prettify #2 · b9618894
  Niels Bunkenburg authored Aug 16, 2017
  
  b9618894
- Refactor Prettify · 9969813e
  Niels Bunkenburg authored Aug 16, 2017
  
  9969813e
- Made type inference errors more readable · 2074eb65
  Jan-Hendrik Matthes authored Aug 16, 2017
  
  2074eb65
- Move Level data type to its own module to avoid import cycles · a85699eb
  Niels Bunkenburg authored Aug 16, 2017
  
  a85699eb
- Add CheckState documentation · d53de9a6
  Niels Bunkenburg authored Aug 16, 2017
  
  d53de9a6
- Disable type inference depending on level · 7df90e1a
  Niels Bunkenburg authored Aug 16, 2017
  
  7df90e1a
- Removed unnecessary posOfTIError argument · 86700ed9
  Jan-Hendrik Matthes authored Aug 16, 2017
  
  86700ed9
- type-of command now uses our type inference. · d2768052
  Marc André Wittorf authored Aug 15, 2017
  
  d2768052
- Added hseExpToAHExpr to the export list of the HSE2AH module · 5ed87aac
  Jan-Hendrik Matthes authored Aug 16, 2017
  
  5ed87aac
- Renamed hseExprToAhExpr to hseExpToAHExpr · ad42f0c6
  Jan-Hendrik Matthes authored Aug 16, 2017
  
  ad42f0c6
15 Aug, 2017 10 commits
- Simplified too general check · 4c700fe7
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  4c700fe7
- Add positional information to type errors and add type inference to linter · 2ab71385
  Niels Bunkenburg authored Aug 15, 2017
  
  2ab71385
- Updated pretty printing of type inference errors again · 2ffe5801
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  2ffe5801
- Updated pretty printing of type inference errors · 74b50f43
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  74b50f43
- Add type errors to Error data type + pretty printing · e1521a34
  Niels Bunkenburg authored Aug 15, 2017
  
  e1521a34
- Fixed a bug in the isOperator function · 716df3eb
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  716df3eb
- Updated pretty printing of AH data types · de62e5b5
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  de62e5b5
- Added some more auxiliary functions to the Goodies module · 2a75eed3
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  2a75eed3
- Add filter for pragma parse error messages · 48a0443e
  Niels Bunkenburg authored Aug 15, 2017
  
  48a0443e
- Made some minor changes to the Goodies module · 82ed3449
  Jan-Hendrik Matthes authored Aug 15, 2017
  
  82ed3449