Commits · b6027de3b410b6e701a30c779c10a6a170e97a10 · Finn Teegen / curry-frontend · GitLab

Snippets Groups Projects

Oct 08, 2012
- Version uo to 0.3.2 · b6027de3
  Björn Peemöller authored 12 years ago
  
  View commits for tag v0.3.2 v0.3.2
  
  b6027de3
- Improved pretty printing of warnings · f7160da2
  Björn Peemöller authored 12 years ago
  
  f7160da2
Oct 05, 2012
- Removed obsolete import of Debug.Trace · c63abfe2
  Björn Peemöller authored 12 years ago
  
  c63abfe2
- Fixed bug in desugaring of list comprehension (flex -> rigid matching) · 020e5b2d
  Björn Peemöller authored 12 years ago
  
  020e5b2d
- Fixed bug when checking type signatures · 2e03ac04
  Björn Peemöller authored 12 years ago
  
  2e03ac04
Oct 04, 2012
- Non-Linear patterns now work with guarded right-hand-sides - fixes #328 · fea6f764
  Björn Peemöller authored 12 years ago
  
  fea6f764
Oct 01, 2012
- Simplification for functional patterns · 5c237fad
  Björn Peemöller authored 12 years ago
  
  5c237fad
- Added support for non-linear left-hand-sides in function declarations · 9fd53d6f
  Björn Peemöller authored 12 years ago
  
  9fd53d6f
- First working version of non-linear functions' left-hand-sides · 1dd96f9d
  Björn Peemöller authored 12 years ago
  
  1dd96f9d
- First step towards support for nonlinear left-hand-sides in functions · cc57f80c
  Björn Peemöller authored 12 years ago
  
  cc57f80c
Sep 28, 2012
- Added precedence check - fixes #327 · e34d49bd
  Björn Peemöller authored 12 years ago
  
  e34d49bd
Sep 25, 2012
- Stopped output of blank newlines · c41d2e9d
  Björn Peemöller authored 12 years ago
  
  c41d2e9d
- Adopted the latest changes in the Curry AST · 369538e8
  Björn Peemöller authored 12 years ago
  
  369538e8
- Adapted latest curry-base changes · adda624b
  Björn Peemöller authored 12 years ago
  
  adda624b
- Code beautification · 2258a104
  Björn Peemöller authored 12 years ago
  
  2258a104
Sep 24, 2012
- Clean ups · e9a3bfbd
  Björn Peemöller authored 12 years ago
  
  e9a3bfbd
- First working version of fcase expressions · a4a66440
  Björn Peemöller authored 12 years ago
  
  a4a66440
- Warnings improved · a6d58b10
  Björn Peemöller authored 12 years ago
  
  a6d58b10
- Deactivated superfluous checks · b5a5bf65
  Björn Peemöller authored 12 years ago
  
  b5a5bf65
- First compilable (but semantically wrong) version with fcase expressions · affdd6f1
  Björn Peemöller authored 12 years ago
  
  affdd6f1
- Refactoring of Curry to IL translation · 86315ff5
  Björn Peemöller authored 12 years ago
  
  86315ff5
- Refactoring of lifting · 345bedb0
  Björn Peemöller authored 12 years ago
  
  345bedb0
Sep 18, 2012
- Better case completion + test case · 3971cdbb
  Björn Peemöller authored 12 years ago
  
  3971cdbb
- Test case for case branches with literals added · bc24dc94
  Björn Peemöller authored 12 years ago
  
  bc24dc94
- Error handling improved · e8024a1b
  Björn Peemöller authored 12 years ago
  
  e8024a1b
- Case completion refactored - fixes #323 · d4966e8e
  Björn Peemöller authored 12 years ago
  
  d4966e8e
- ScopeEnv refactored · a39e93d6
  Björn Peemöller authored 12 years ago
  
  a39e93d6
Sep 17, 2012
- Massive refactoring of case completion · 1929b9bd
  Björn Peemöller authored 12 years ago
  
  1929b9bd
Sep 14, 2012
- Nicer pretty printing of IL · 731cea57
  Björn Peemöller authored 12 years ago
  
  731cea57
- Merge branch 'master' into noeval · eb6083bf
  Björn Peemöller authored 12 years ago
  eb6083bf
- Simplifier refactored · ecefe9af
  Björn Peemöller authored 12 years ago
  
  ecefe9af
- Desugaring refactored · dcc86d82
  Björn Peemöller authored 12 years ago
  
  dcc86d82
- Qualification refactored · 053cdf4c
  Björn Peemöller authored 12 years ago
  
  053cdf4c
- Compilation errors fixed · c1c044b2
  Björn Peemöller authored 12 years ago
  
  c1c044b2
- Compiler option renamed · d688c189
  Björn Peemöller authored 12 years ago
  
  d688c189
- concatMapM added to Utils · 765daba1
  Björn Peemöller authored 12 years ago
  
  765daba1
Sep 13, 2012
- Removal of eval annotations · bd1ca0d3
  Björn Peemöller authored 12 years ago
  
  bd1ca0d3
Sep 11, 2012
- Removed dependencies to old-time package · 59d66221
  Björn Peemöller authored 12 years ago
  
  59d66221
- Adapted renaming from MessageMonad · fa9909fd
  Björn Peemöller authored 12 years ago
  
  fa9909fd
- Compiler messages now use Doc for message body · e8788ca1
  Björn Peemöller authored 12 years ago
  
  e8788ca1