Commits · submission · Finn Teegen / curry-base · GitLab

Snippets Groups Projects

Sep 09, 2016
- Add predefined identifier for apply function · bfb633dd
  Finn Teegen authored 8 years ago
  
  View commits for tag submission submission
  
  bfb633dd
Sep 02, 2016
- Fix comment for AbstractCurry representation · 8b7b06b3
  Finn Teegen authored 8 years ago
  
  8b7b06b3
Aug 30, 2016
- Fix general pretty printing bug · 4cbb2e9b
  Finn Teegen authored 8 years ago
  
  4cbb2e9b
Aug 21, 2016
- Extend method pragma in interfaces by class variable · 3913c06f
  Finn Teegen authored 8 years ago
  
  3913c06f
- Fix style issue and compiler warning · db26ad71
  Finn Teegen authored 8 years ago
  
  db26ad71
Aug 11, 2016
- Add predefined identifier for Eq type class · 097d0782
  Finn Teegen authored 8 years ago
  
  097d0782
- Fix bug in pretty printing of type applications · ee9fcb02
  Finn Teegen authored 8 years ago
  
  ee9fcb02
Aug 08, 2016
- Remove hiding function declarations from interface · 14afa36b
  Finn Teegen authored 8 years ago
  
  14afa36b
- Merge remote-tracking branch 'upstream/master' · e19522b3
  Finn Teegen authored 8 years ago
  
  e19522b3
Aug 07, 2016
- Add method pragma for functions to interfaces · 33ed565a
  Finn Teegen authored 8 years ago
  
  33ed565a
- Add predefined identifier for error function · 77caa7c9
  Finn Teegen authored 8 years ago
  
  77caa7c9
Aug 01, 2016
- Export more pretty print functions · 59cd336a
  Finn Teegen authored 8 years ago
  
  59cd336a
- Add several new utility functions · 5265b954
  Finn Teegen authored 8 years ago
  
  5265b954
Jul 28, 2016
- New version of AbstractCurry to support type classes · 648c45d0
  Finn Teegen authored 8 years ago
  
  648c45d0
- Fix pretty printing · 400afc3c
  Finn Teegen authored 8 years ago
  
  400afc3c
- Fix parsing of unit pattern and constructor (no longer parsed as a nullary tuple) · c7de1d39
  Finn Teegen authored 8 years ago
  
  c7de1d39
- Modify interface for type classes and instances · 5ea250b7
  Finn Teegen authored 8 years ago
  
  5ea250b7
- Add predefined identifiers for type classes · d6a1f986
  Finn Teegen authored 8 years ago
  
  d6a1f986
- Add annotation to external declarations · 0f5b5f68
  Finn Teegen authored 8 years ago
  
  0f5b5f68
Jun 11, 2016
- Add new utility functions · 9b82458a
  Finn Teegen authored 8 years ago
  
  9b82458a
- Remove explicit overloading of numeric literals · 94ed5858
  Finn Teegen authored 8 years ago
  
  94ed5858
Jun 09, 2016
- Added function silent to ignore warnings · e57b78b4
  Jan Rasmus Tikovsky authored 8 years ago
  
  e57b78b4
May 30, 2016
- Remove redundant constraints to satisfy GHC 8.0 · c5cfab6a
  Björn Peemöller authored 8 years ago
  
  c5cfab6a
May 27, 2016
- Introduce default declarations · 4b4db0a3
  Finn Teegen authored 8 years ago
  
  4b4db0a3
May 26, 2016
- Remove existential quantified types from newtypes · 346bd3dc
  Finn Teegen authored 8 years ago
  
  346bd3dc
May 20, 2016
- Added auxiliary functions for file name generation w.r.t. tokens and HTML · 3a670b8c
  Björn Peemöller authored 8 years ago
  
  3a670b8c
- Merge branch 'master' into krah/TokenStream · d376ead2
  Björn Peemöller authored 8 years ago
  
  d376ead2
May 12, 2016
- Allow annotations in module syntax tree · 3165d6e4
  Finn Teegen authored 8 years ago
  
  3165d6e4
- Move utility function · 5b410ca2
  Finn Teegen authored 8 years ago
  
  5b410ca2
Apr 29, 2016
- Allow contexts for existential quantified types · d94b51d3
  Finn Teegen authored 8 years ago
  
  d94b51d3
- Generalize parsing of optional contexts · 43d74896
  Finn Teegen authored 8 years ago
  
  43d74896
- Add helper function for pretty printing pragmas · 8db0bc4a
  Finn Teegen authored 8 years ago
  
  8db0bc4a
Apr 27, 2016
- Add new utility function · de1f4bf6
  Finn Teegen authored 8 years ago
  
  de1f4bf6
- Add classes and instances to interfaces · 3fb41ac8
  Finn Teegen authored 8 years ago
  
  3fb41ac8
Apr 22, 2016
- Introduce qualified types in syntax tree · db90572a
  Finn Teegen authored 8 years ago
  
  db90572a
- Fix wrong indentation when pretty printing · 117a932e
  Finn Teegen authored 8 years ago
  
  117a932e
Apr 21, 2016
- Improve pretty printing · 2de2373a
  Finn Teegen authored 8 years ago
  
  2de2373a
Apr 19, 2016
- Add some utility functions · 4c9eef72
  Finn Teegen authored 8 years ago
  
  4c9eef72
- Simplify type class elements in syntax tree · efb6d000
  Finn Teegen authored 8 years ago
  
  efb6d000
Apr 16, 2016
- Export some more pretty printing functions · 95839fa5
  Finn Teegen authored 8 years ago
  
  95839fa5