Commits · bbf700ec3838ad820094d11bfff04c02b0e1fd7e · curry / curry-frontend

09 Jul, 2015 2 commits
- Added dump of pretty-printed FlatCurry code · bbf700ec
  Björn Peemöller authored Jul 09, 2015
  
  bbf700ec
- Fixed bug in the arity computation for pattern selection functions · 7c3a2f39
  Björn Peemöller authored Jul 09, 2015
  
  7c3a2f39
08 Jul, 2015 7 commits
- Removed old parameter (did not compile) · 280e96e5
  Björn Peemöller authored Jul 08, 2015
  
  280e96e5
- Fixed wrong qualification of local identifiers · 2c1a4ff4
  Björn Peemöller authored Jul 08, 2015
  
  2c1a4ff4
- Removed erroneous inlining of variables (destroyed sharing) · 48a37296
  Björn Peemöller authored Jul 08, 2015
  
  48a37296
- Improved structure of pattern matching compilation · ac640e12
  Björn Peemöller authored Jul 08, 2015
  
  ac640e12
- Allow record patterns inside functional patterns · 65262cd6
  Björn Peemöller authored Jul 08, 2015
  
  65262cd6
- Disallows nesting of lazy and functional patterns · 3c9c4f0c
  Björn Peemöller authored Jul 08, 2015
  
  3c9c4f0c
- Added comment to export check · eb6e5e7b
  Björn Peemöller authored Jul 08, 2015
  
  eb6e5e7b
29 Jun, 2015 4 commits
- Refactored the pattern matching compilation phase · 14757b42
  Björn Peemöller authored Jun 29, 2015
  
  14757b42
- Refactored and improved the simplifier · 8141341f
  Björn Peemöller authored Jun 29, 2015
  
  8141341f
- Simplified the lifting phase · 44ec8933
  Björn Peemöller authored Jun 29, 2015
  
  44ec8933
- Removed obsolete comments · c072740b
  Björn Peemöller authored Jun 29, 2015
  
  c072740b
26 Jun, 2015 3 commits
- Refactoring in modules · f8bd9340
  Björn Peemöller authored Jun 26, 2015
  
  f8bd9340
- Improved case completion · 314018cd
  Björn Peemöller authored Jun 26, 2015
  
  314018cd
- Refactored desugaring phase · 1654f3c0
  Björn Peemöller authored Jun 26, 2015
  
  1654f3c0
15 Jun, 2015 1 commit
- Removed unnecessary imports for GHC 7.10 · 66168bd4
  Björn Peemöller authored Jun 15, 2015
  
  66168bd4
12 May, 2015 2 commits
- Normalize the type of lifted local functions · 2d1247a3
  Björn Peemöller authored May 12, 2015
```
Local functions get negative type variables that are suject to the
normalization of types, resulting in awkward FlatCurry types. Thus,
they are now normalized to improve readability.
```
  2d1247a3
- Added documentation to the simplification phase · cd9ac42a
  Björn Peemöller authored May 12, 2015
  
  cd9ac42a
28 Apr, 2015 1 commit
- Proper error message when function and label identifier coincide -- fixes #1276 · 782f1cb3
  Jan Rasmus Tikovsky authored Apr 28, 2015
  
  782f1cb3
06 Mar, 2015 2 commits
- Removed old documentation of Curry records · 0c33e030
  Björn Peemöller authored Mar 06, 2015
  
  0c33e030
- Updated to version 0.4.0 · 56f18678
  Jan Rasmus Tikovsky authored Mar 06, 2015
  
  56f18678
05 Mar, 2015 1 commit
- Added source-repository to cabal file · 33406985
  Jan Rasmus Tikovsky authored Mar 05, 2015
  
  33406985
04 Mar, 2015 2 commits
- Merge branch 'records' · 99e0b121
  Jan Rasmus Tikovsky authored Mar 04, 2015
  
  99e0b121
- Updated tests for new record syntax · e4a420e9
  Jan Rasmus Tikovsky authored Mar 04, 2015
  
  e4a420e9
03 Mar, 2015 2 commits
- Export of record labels without exporting the corresponding type is no longer allowed · 3b6530c8
  Jan Rasmus Tikovsky authored Mar 03, 2015
  
  3b6530c8
- Implicit import of hidden data constructors for imported record labels · de455b88
  Jan Rasmus Tikovsky authored Mar 03, 2015
  
  de455b88
02 Mar, 2015 2 commits
- Minor fix for generation of untyped AbstractCurry · 830a23c2
  Jan Rasmus Tikovsky authored Mar 02, 2015
  
  830a23c2
- Added support for untyped AbstractCurry · b2465b9f
  Jan Rasmus Tikovsky authored Mar 02, 2015
  
  b2465b9f
26 Feb, 2015 1 commit
- Use free variables for omitted record fields instead of failures · 53c64683
  Jan Rasmus Tikovsky authored Feb 26, 2015
  
  53c64683
24 Feb, 2015 2 commits
- Fixed typeOf-bug when desugaring record declarations · 8e6bfbab
  Jan Rasmus Tikovsky authored Feb 24, 2015
  
  8e6bfbab
- Removed redundant parameters · bae005a8
  Jan Rasmus Tikovsky authored Feb 24, 2015
  
  bae005a8
23 Feb, 2015 3 commits
- Another small bugfix · 4181d6f0
  Jan Rasmus Tikovsky authored Feb 23, 2015
  
  4181d6f0
- Minor bugfix · 015e613c
  Jan Rasmus Tikovsky authored Feb 23, 2015
  
  015e613c
- Typecheck record labels after initialization of type constructor environment · df4a5e21
  Jan Rasmus Tikovsky authored Feb 23, 2015
  
  df4a5e21
20 Feb, 2015 5 commits
- Fixed bug regarding export of record labels · 18f66e93
  Jan Rasmus Tikovsky authored Feb 20, 2015
  
  18f66e93
- Merge remote-tracking branch 'origin/new-gfc' into records · ce2237ac
  Jan Rasmus Tikovsky authored Feb 20, 2015
```
Conflicts:
	src/Generators/GenFlatCurry.hs
	src/ModuleSummary.hs
```
  ce2237ac
- Updated tests for Haskell's record syntax · db2dfc03
  Jan Rasmus Tikovsky authored Feb 20, 2015
  
  db2dfc03
- Updated some comments · 90adc354
  Björn Peemöller authored Feb 20, 2015
  
  90adc354
- Removed record representation from FlatCurry · 6542b785
  Björn Peemöller authored Feb 20, 2015
  
  6542b785