Commits · f2840a68bcd5194db4c38d961457328beed0bd1a · curry / curry-frontend

24 Jun, 2021 1 commit
- Undo previous change · f2840a68
  Michael Hanus authored Jun 24, 2021
  
  f2840a68
23 Jun, 2021 1 commit
- Add stack option `--allow-different-user` to solve build problems in gitlab CI · 9280aa20
  Michael Hanus authored Jun 23, 2021
  
  9280aa20
07 Jun, 2021 2 commits
- Finalize desugaring of functional patterns · 181a315e
  Finn Teegen authored Jun 07, 2021
```
Co-authored-by: Kai-Oliver Prott <kpr@informatik.uni-kiel.de>
```
  181a315e
- Simplify and improve desugaring of (non-linear) functional patterns · ec01023a
  Finn Teegen authored Jun 07, 2021
```
Co-authored-by: Kai-Oliver Prott <kpr@informatik.uni-kiel.de>
```
  ec01023a
11 Feb, 2021 1 commit
- Merge branch 'upper-bounds' into 'master' · 5b486146
  Finn Teegen authored Feb 11, 2021
```
Place bounds on all dependencies

See merge request !45
```
  5b486146
10 Feb, 2021 2 commits
- Place bounds on all dependencies · e5670d4f
  Fredrik Wieczerkowski authored Feb 10, 2021
  
  e5670d4f
- Merge branch 'ghc-8.8' into 'master' · e02c9b20
  Finn Teegen authored Feb 10, 2021
```
Update stack resolver to LTS-16.9 (GHC 8.8)

See merge request !44
```
  e02c9b20
09 Feb, 2021 1 commit
- Update stack resolver to LTS-16.9 (GHC 8.8) · dbc1ae42
  Fredrik Wieczerkowski authored Feb 09, 2021
  
  dbc1ae42
04 Feb, 2021 3 commits
- debian/*: Update for release of curry-frontend 2.0.0. · a62bcddb
  Mike Gabriel authored Feb 04, 2021
  
  a62bcddb
- debian/control: Bump Standards-Version: to 4.5.1. No changes needed. · 09ead3cd
  Mike Gabriel authored Feb 04, 2021
  
  09ead3cd
- debian/control: Add Rules-Requires-Root: field and set it to 'no'. · 00e12285
  Mike Gabriel authored Feb 04, 2021
  
  00e12285
14 Dec, 2020 1 commit
- Fix generation of type-annotated FlatCurry · 09ff8e4c
  Finn Teegen authored Dec 14, 2020
```
Fix #123
```
  09ff8e4c
10 Dec, 2020 2 commits
- Update module headers · 38db527e
  Finn Teegen authored Dec 10, 2020
  
  38db527e
- Add Data context for non-linear as-patterns · 4e875077
  Finn Teegen authored Dec 10, 2020
```
Fix #121
```
  4e875077
01 Dec, 2020 3 commits
- Re-enable dictionary specialization · 9ddee32b
  Finn Teegen authored Dec 01, 2020
  
  9ddee32b
- Fix warnings · ebdc526d
  Finn Teegen authored Dec 01, 2020
  
  ebdc526d
- Force run-time choice for dictionary arguments · ed05626f
  Finn Teegen authored Dec 01, 2020
```
Temporarily fixes #109
```
  ed05626f
29 Nov, 2020 3 commits
- Add explanation in comment · e395ec68
  Finn Teegen authored Nov 29, 2020
  
  e395ec68
- Fix handling of anonymous type variables by renaming them · a57d6d45
  Finn Teegen authored Nov 29, 2020
  
  a57d6d45
- Fully desugar and remove type synonyms in desugaring phase · 12cbf628
  Finn Teegen authored Nov 29, 2020
```
Fixes #115 and #117
```
  12cbf628
26 Nov, 2020 5 commits
- Merge branch 'fix-span-preview' into 'master' · bd6992b8
  Finn Teegen authored Nov 26, 2020
```
Handle out-of-bounds lines in span previews

Closes #113

See merge request !42
```
  bd6992b8
- Minor tweak to span preview bound check · ae024ee3
  Fredrik Wieczerkowski authored Nov 26, 2020
  
  ae024ee3
- Handle out-of-bounds lines in span previews · efdabf7b
  Fredrik Wieczerkowski authored Nov 26, 2020
  
  efdabf7b
- Remove renaming from type syntax check · 1b630439
  Finn Teegen authored Nov 26, 2020
```
Fixes #112
```
  1b630439
- Simplify type syntax check · 1f6ef0f3
  Finn Teegen authored Nov 26, 2020
  
  1f6ef0f3
25 Nov, 2020 5 commits
- Add todo · 147b7df1
  Finn Teegen authored Nov 25, 2020
```
See #107
```
  147b7df1
- Use === instead of == in case completion for literals · 0fae7e7b
  Finn Teegen authored Nov 25, 2020
  
  0fae7e7b
- Fix warnings · 59eb592a
  Finn Teegen authored Nov 25, 2020
  
  59eb592a
- Refactor some code · 07737569
  Finn Teegen authored Nov 25, 2020
  
  07737569
- Rename Annotated FlatCurry generator and option · 60f13520
  Finn Teegen authored Nov 25, 2020
  
  60f13520
24 Nov, 2020 8 commits
- Merge branch 'generators' into 'master' · 8585aac7
  Finn Teegen authored Nov 24, 2020
```
Update FlatCurry generation pipeline

Closes #57

See merge request !41
```
  8585aac7
- Fix tafcy and tfcy file paths · 86a07531
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  86a07531
- Fix tafcy and fcy targets · 44a138d3
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  44a138d3
- Generate FlatCurry using TypeAnnotatedFlatCurry · eacc0d46
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  eacc0d46
- Wire up new TypedFlatCurry generation · 9aff37fb
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  9aff37fb
- Fix comment · ed633083
  Fredrik Wieczerkowski authored Nov 24, 2020
  
  ed633083
- Fix comment · 7151e705
  Finn Teegen authored Nov 24, 2020
  
  7151e705
- Fix arity in IL and use that arity for FC generation · 1d61cbfa
  Finn Teegen authored Nov 24, 2020
  
  1d61cbfa
23 Nov, 2020 2 commits
- Fix warning · bc70f8f3
  Finn Teegen authored Nov 23, 2020
  
  bc70f8f3
- Make inlining of dictionaries optional · 63338b5b
  Finn Teegen authored Nov 23, 2020
```
Fixes #108
```
  63338b5b