Commits · 9f2d60d2a0222edfad367cb9cf94f7bb3f48e8ab · Finn Teegen / curry-frontend · GitLab

Snippets Groups Projects

Sep 02, 2013
- Version up to 0.3.8 · 9f2d60d2
  Björn Peemöller authored 11 years ago
  
  View commits for tag v0.3.8 v0.3.8
  
  9f2d60d2
- Set standard warnings to exclude missing patterns · c7f2b158
  Björn Peemöller authored 11 years ago
  
  c7f2b158
Aug 29, 2013
- Improved warning for ambiguous entities · 45561ee0
  Björn Peemöller authored 11 years ago
  
  45561ee0
Aug 28, 2013
- Refactored parsing of command line options · c961a860
  Björn Peemöller authored 11 years ago
  
  c961a860
- Restricted warning for overlapping case alternatives to flexible case exprs · b10fd7ba
  Björn Peemöller authored 11 years ago
  
  b10fd7ba
- Restricted warning for missing patterns to at most 4 patterns · f8e81a30
  Björn Peemöller authored 11 years ago
  
  f8e81a30
Aug 27, 2013
- Further bug fixes · 0ef01d8e
  Björn Peemöller authored 11 years ago
  
  0ef01d8e
- Hopefully fixed last bugs · ba24b14c
  Björn Peemöller authored 11 years ago
  
  ba24b14c
- Fix for primitive type constructors · 40c64c60
  Björn Peemöller authored 11 years ago
  
  40c64c60
- Extended options to enable/disable certain kind of warnings · 23ba4e77
  Björn Peemöller authored 11 years ago
  
  23ba4e77
- Fixed some bugs w.r.t. warnings for incomplete patterns · 900657fa
  Björn Peemöller authored 11 years ago
  
  900657fa
- Fixed bug in type inference w.r.t. primitive types · 7fca8b30
  Björn Peemöller authored 11 years ago
  
  7fca8b30
Aug 26, 2013
- Implemented warnings for non-exhaustive pattern matches - fixes #349 · b43a8b27
  Björn Peemöller authored 11 years ago
  
  b43a8b27
- Types refactored · 844852c4
  Björn Peemöller authored 11 years ago
  
  844852c4
Aug 22, 2013
- Added test case for Bug #494 - fixed #494 in curry-base · a79d3b70
  Björn Peemöller authored 11 years ago
  
  a79d3b70
Jul 29, 2013
- Fixed bug w.r.t. polymorphically typed free variables - fixes #480 · 3c1cbdb9
  Björn Peemöller authored 11 years ago
  
  3c1cbdb9
- Fixed missing polymorphism of record labels - fixes #445 · b1c3e141
  Björn Peemöller authored 11 years ago
  
  b1c3e141
- Improved dumping (dumps are now printed when possible, even in case · 46e02b2d
  Björn Peemöller authored 11 years ago
  46e02b2d
- Type checking proceeds only without recursive type synonyms - fixes #489 · 515d1c9e
  Björn Peemöller authored 11 years ago
  515d1c9e
Jul 11, 2013
- Fixed bug in interface import which exposed private entities · c8496914
  Björn Peemöller authored 11 years ago
  
  c8496914
- Use qualifyLike from curry-base · 419c67b2
  Björn Peemöller authored 11 years ago
  
  419c67b2
Jun 24, 2013
- Added Show instance for compiler options · c53d4458
  Björn Peemöller authored 11 years ago
  
  c53d4458
- Added cabal-dev to .gitignore · 12fc80cc
  Björn Peemöller authored 11 years ago
  
  12fc80cc
Feb 13, 2013
- Documentation updated · 919bdc80
  Björn Peemöller authored 12 years ago
  
  919bdc80
- Added option --dump-raw for dumping AST · 1d8854ef
  Björn Peemöller authored 12 years ago
  
  1d8854ef
- Fixed bug w.r.t. infix patterns inside functional patterns · fa15f499
  Björn Peemöller authored 12 years ago
  
  fa15f499
- Allow as patterns to be used inside functional patterns · 615c9c57
  Björn Peemöller authored 12 years ago
  
  615c9c57
- Fix bug in syntax check w.r.t. infiix patterns in functional patterns · d5607a0a
  Björn Peemöller authored 12 years ago
  
  d5607a0a
Feb 12, 2013
- Fixed bug in desugaring · 8f7d14d3
  Björn Peemöller authored 12 years ago
  
  8f7d14d3
- Fixed bug in syntax check · bad91464
  Björn Peemöller authored 12 years ago
  
  bad91464
Feb 11, 2013
- Avoid repeated warnings for unsupported patterns inside functional ones · ba34a293
  Björn Peemöller authored 12 years ago
  
  ba34a293
Feb 05, 2013
- Improved translation of functional and nonlinear patterns · e32f0c0e
  Björn Peemöller authored 12 years ago
  
  e32f0c0e
- Added syntax check for incorrect functional patterns · 7d007de5
  Björn Peemöller authored 12 years ago
  
  7d007de5
Jan 18, 2013
- Merge branch '0.3-stable' · 98a9f073
  Björn Peemöller authored 12 years ago
  
  View commits for tag v0.3.7 v0.3.7
  
  98a9f073
Jan 17, 2013
- Fix for combination of functional patterns and non-linear LHS · 81f3bf84
  Björn Peemöller authored 12 years ago
  
  81f3bf84
- Dumps changed to pretty printed version · 2aaf96ed
  Björn Peemöller authored 12 years ago
  
  2aaf96ed
Dec 18, 2012
- Version up to 0.3.7 · 07498401
  Björn Peemöller authored 12 years ago
  
  07498401
- Added support for typed FlatCurry expressions · 3374f636
  Björn Peemöller authored 12 years ago
  
  3374f636
- Merge branch 'master' into flatcurry/typedexpr · fa5fb06c
  Björn Peemöller authored 12 years ago
  
  fa5fb06c
Dec 11, 2012
- Fix for unintended warning at non-linear LHS · 6ade1e64
  Björn Peemöller authored 12 years ago
  
  6ade1e64