Commits · working-version-1-without-Numeric-classes · Finn Teegen / curry-frontend · GitLab

Snippets Groups Projects

Oct 05, 2013
- added test files to compile check that showed the bug where the "Enum" class wasn`t found · 7de64fb7
  Matthias Böhm authored 11 years ago
  
  View commits for tag working-version-1-without-Numeric-classes working-version-1-without-Numeric-classes
  
  7de64fb7
- report an error if implicitly needed classes (e.g. in enumerations) are not in scope · 5338e84d
  Matthias Böhm authored 11 years ago
  5338e84d
Oct 04, 2013
- kics2 test file for type class supported enumerations · d97688e9
  Matthias Böhm authored 11 years ago
  
  d97688e9
- improved error messages output: don`t display type signature context... · 241365cd
  Matthias Böhm authored 11 years ago
  241365cd
- more test cases in EnumerationsOrig.curry · 27241358
  Matthias Böhm authored 11 years ago
  
  27241358
Sep 21, 2013
- in compare check: don`t use option -e but several -X`s · d58a0d8a
  Matthias Böhm authored 11 years ago
  
  d58a0d8a
- added test files for enumerations and added these files to comile check · 537aac8f
  Matthias Böhm authored 11 years ago
  
  537aac8f
- small change: layout tsExpr Enum[From][Then][To] · 95cd6915
  Matthias Böhm authored 11 years ago
  
  95cd6915
- Implemented [a, b ..], [a .. b] and [a, b .. c] · dadc6080
  Matthias Böhm authored 11 years ago
  
  dadc6080
Sep 20, 2013
- added extra parameter for EnumFrom[Then][To] where the constrained type is stored · 03f35c95
  Matthias Böhm authored 11 years ago
  
  03f35c95
- dummy enumFrom[Then][To] class methods identifiers (decls + imports) · c020c71c
  Matthias Böhm authored 11 years ago
  
  c020c71c
- now character values can reach the value 0x10FFFF · 80633612
  Matthias Böhm authored 11 years ago
  
  80633612
- corrected type substitution for TypeScheme`s and ExistTypeScheme`s; · 6f38b58b
  Matthias Böhm authored 11 years ago
  6f38b58b
- enumFrom[Then] implemented by boundedEnumFrom[Then] in TCPrelude · 65ebdd5a
  Matthias Böhm authored 11 years ago
  65ebdd5a
- Enum + Bounded instances for Char (now only for ASCII) · 785eba8d
  Matthias Böhm authored 11 years ago
  
  785eba8d
- replaced *Replacements by *Extensions · af559def
  Matthias Böhm authored 11 years ago
  
  af559def
- added test files for enumerations · b66292b7
  Matthias Böhm authored 11 years ago
  
  b66292b7
- small change: warning fix · 1b9e9338
  Matthias Böhm authored 11 years ago
  
  1b9e9338
- implemented EnumFrom with type classes · 46f297a6
  Matthias Böhm authored 11 years ago
  
  46f297a6
- boolean flag in the state monad of the dictionaries transformation added that... · 71fad986
  Matthias Böhm authored 11 years ago
  71fad986
- import of tcPreludeEnumFromIdent dummy identifier · 895d7f89
  Matthias Böhm authored 11 years ago
  
  895d7f89
- Dictionaries Transformation needs options · 92dcaba6
  Matthias Böhm authored 11 years ago
  
  92dcaba6
- in type check: for EnumFrom use Enum context and save type in AST · 2826bf98
  Matthias Böhm authored 11 years ago
  
  2826bf98
- added Enumeration test files for compare check · 931e7758
  Matthias Böhm authored 11 years ago
  
  931e7758
- typeClassReplacements flag in type check state monad added · f23a42f2
  Matthias Böhm authored 11 years ago
  
  f23a42f2
- TypeClassReplacements extension · 71e2ac68
  Matthias Böhm authored 11 years ago
  
  71e2ac68
Sep 19, 2013
- extra parameter for EnumFrom that stores its constrained type · 7aadad5f
  Matthias Böhm authored 11 years ago
  
  7aadad5f
Sep 17, 2013
- fixed internal error when trying to derive instances for newtypes, which are... · 54028128
  Matthias Böhm authored 11 years ago
  54028128
Sep 16, 2013
- check for thrown internal errors for buggy files in compile check · 26874fc4
  Matthias Böhm authored 11 years ago
  26874fc4
- small documentation update for isValidCx: Uses instances · bd3cb00d
  Matthias Böhm authored 11 years ago
  
  bd3cb00d
- because of context reduction context elements in isNotLocal are always in HNF · 0daa67b3
  Matthias Böhm authored 11 years ago
  
  0daa67b3
- fixed bug with context propagation out of declaration groups: · 73d3a1ad
  Matthias Böhm authored 11 years ago
  73d3a1ad
Aug 30, 2013
- improvements in test1.sh (use vars for directories) · b888e383
  Matthias Böhm authored 11 years ago
  
  b888e383
- test shell files: set exit code correctly · c8d0e070
  Matthias Böhm authored 11 years ago
  
  c8d0e070
- moved lib and lib2 dir into typeclasses dir, and renamed the dirs to... · a7be72fb
  Matthias Böhm authored 11 years ago
  a7be72fb
Aug 24, 2013
- some documentation for the derivation of Show instances · 462e6ca5
  Matthias Böhm authored 11 years ago
  
  View commits for tag thirdPrototype thirdPrototype
  
  462e6ca5
- added test for showing of Strings · 2cc27fb9
  Matthias Böhm authored 11 years ago
  
  2cc27fb9
- added TestShow.curry file to kics2 currytest · d1625432
  Matthias Böhm authored 11 years ago
  
  d1625432
- renamed infix*Op to *infixOp · 3226d452
  Matthias Böhm authored 11 years ago
  
  3226d452
- added more tests for derived Show instance in TestShow.curry in kics2 folder · 4bd3ac58
  Matthias Böhm authored 11 years ago
  
  4bd3ac58