- 14 Sep, 2012 8 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
Conflicts: src/Html/SyntaxColoring.hs src/Transformations/Qual.lhs src/Transformations/Simplify.lhs
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 13 Sep, 2012 1 commit
-
-
Björn Peemöller authored
-
- 11 Sep, 2012 3 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 06 Sep, 2012 2 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
The improvements contain: - Module `OldScopeEnv` removed (content integrated into `CaseCompletion` - Intermediate structures from the checking phases can now also been dumped to stdout - Compiler options for additional dump targets added - Dumps now output the data type instead of its pretty printing to provide more information - Anonymous free variables are now renamed correctly - Erroneous shadowing warnings are fixed (was due to wrong renaming)
-
- 04 Sep, 2012 3 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 13 Aug, 2012 2 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 19 Jun, 2012 1 commit
-
-
Björn Peemöller authored
-
- 05 Jun, 2012 1 commit
-
-
Björn Peemöller authored
-
- 29 Mar, 2012 2 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 19 Jan, 2012 3 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 05 Jan, 2012 8 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 03 Jan, 2012 4 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
Björn Peemöller authored
-
- 30 Nov, 2011 2 commits
-
-
Björn Peemöller authored
-
Björn Peemöller authored
-