Commits · 2e8ed27697bb0e8a8df5c5892f8ad1d8d1271092 · Nathan PERIER / minichamo · GitLab

Snippets Groups Projects

Apr 14, 2022
- Added proper unification of types after defining equivalents · 2e8ed276
  Nathan PERIER authored 2 years ago
  
  2e8ed276
- Added tests that cover the main edge cases · 5b03d12d
  Nathan PERIER authored 2 years ago
  
  5b03d12d
- Added exception for when the position is not directly available · aa110d40
  Nathan PERIER authored 2 years ago
  
  aa110d40
- Added case for empty graph · 0f2f9e2b
  Nathan PERIER authored 2 years ago
  
  0f2f9e2b
- Moved unification tests · d616a324
  Nathan PERIER authored 2 years ago
  
  d616a324
Apr 12, 2022
- Added an implementation of Tarjan's algorithm to check for loops during type unification · bc5d4c51
  Nathan PERIER authored 2 years ago
  
  bc5d4c51
Apr 11, 2022
- Started working on type unification · c3d2870b
  Nathan PERIER authored 2 years ago
  
  c3d2870b
- Added a way to explicitly set the return type of a function (close #22 ) · c9dc24d4
  Nathan PERIER authored 2 years ago
  
  c9dc24d4
Apr 10, 2022
- Removed nuples in function definition (too much of a bother for now), added... · a31d2647
  Nathan PERIER authored 2 years ago
  
  Removed nuples in function definition (too much of a bother for now), added checks for duplicate parameters (close #12)
  a31d2647
- Added propagation of the specifications for user-defined types (close #13 ) · 7782eeca
  Nathan PERIER authored 2 years ago
  
  7782eeca
Apr 01, 2022
- Added tests for specification with user-defined types · 335fe119
  Nathan PERIER authored 2 years ago
  
  335fe119
- Renaming of generics over several types (close #15 ) · 11eaffd4
  Nathan PERIER authored 2 years ago
  
  11eaffd4
- Get the list of generics with the visitor · 014812b2
  Nathan PERIER authored 2 years ago
  
  014812b2
- Added visitor to replace the generic types (close #21 ) · faa7cf80
  Nathan PERIER authored 2 years ago
  
  faa7cf80
Mar 21, 2022
- Added interface for all objects that have a position · ac253bfe
  Nathan PERIER authored 2 years ago
  
  ac253bfe
- Added tests for function and variable definition (close #18 , close #19 ) · 60557be2
  Nathan PERIER authored 2 years ago
  
  60557be2
- Added parsing for variables and function definitions · 9c5b2c4c
  Nathan PERIER authored 2 years ago
  
  9c5b2c4c
- Added a method to get the current position · 832d56a2
  Nathan PERIER authored 2 years ago
  
  832d56a2
- Added the equality operator · 9c709258
  Nathan PERIER authored 2 years ago
  
  9c709258
- Created a package for definitions · d589dcc7
  Nathan PERIER authored 2 years ago
  
  d589dcc7
- Created a package for exceptions · 953b57c9
  Nathan PERIER authored 2 years ago
  
  953b57c9
- Added method to get the initial position · b323ee09
  Nathan PERIER authored 2 years ago
  
  b323ee09
Mar 18, 2022
- Added method to require the presence of a token · ff0e0860
  Nathan PERIER authored 2 years ago
  
  ff0e0860
- Added an incremental counter (in order to generate generic types across multiple methods) · 4c6ce7cc
  Nathan PERIER authored 2 years ago
  
  4c6ce7cc
- Added methods to parse the assignation of functions and nuples · 7b91971e
  Nathan PERIER authored 2 years ago
  
  7b91971e
- Added variable definitions to the context · 90b00f59
  Nathan PERIER authored 2 years ago
  
  90b00f59
- Added method to get the unit type · dcff8851
  Nathan PERIER authored 2 years ago
  
  dcff8851
- Added objects to manage variable assignements · 2808c997
  Nathan PERIER authored 2 years ago
  
  2808c997
Mar 15, 2022
- Added tests for sum types (close #17 ) · 8241c79e
  Nathan PERIER authored 3 years ago
  
  8241c79e
- Added tests for types · 41057db3
  Nathan PERIER authored 3 years ago
  
  41057db3
- Added methods to get generic types and specify generic types, safe cration of... · 2423804b
  Nathan PERIER authored 3 years ago
  
  Added methods to get generic types and specify generic types, safe cration of generics (close #14, close #11)
  2423804b
- Added test for when a type with bad specifications is at the beginning of a nuple · 92a18d8c
  Nathan PERIER authored 3 years ago
  
  92a18d8c
Mar 12, 2022
- Added tests for alias type definitions (close #16 ) · d34a930f
  Nathan PERIER authored 3 years ago
  
  d34a930f
- Added equality methods for user-defined types, changed name of the n-uple type · 42139e75
  Nathan PERIER authored 3 years ago
  
  42139e75
- Change of syntax to get a `TokenPeekIterator` · 7ff65a57
  Nathan PERIER authored 3 years ago
  
  7ff65a57
- Fixed typedef generics parsing and included sum types that don't start with a pipe · 8eb0a875
  Nathan PERIER authored 3 years ago
  
  8eb0a875
- Added token for a constructor name · d665293c
  Nathan PERIER authored 3 years ago
  
  d665293c
- Tests for operator priority · 6860b425
  Nathan PERIER authored 3 years ago
  
  6860b425
Mar 10, 2022
- Corrected the type parser to fit the actual format for multi-specified types · 26566a85
  Nathan PERIER authored 3 years ago
  
  26566a85
- Added tests for the type parser · 455fd2ea
  Nathan PERIER authored 3 years ago
  
  455fd2ea