Commits · fa6b9ccc782f66591086fc1c4a420064f2673904 · Nathan PERIER / minichamo · GitLab

Snippets Groups Projects

May 01, 2022
- Added expressions for variables that only have a name but aren't associated with a value · fa6b9ccc
  Nathan PERIER authored 2 years ago
  
  fa6b9ccc
Apr 30, 2022
- Added visitors for expressions · af57b2af
  Nathan PERIER authored 2 years ago
  
  af57b2af
- Added an interface for elements that can be displayed · fc98831a
  Nathan PERIER authored 2 years ago
  
  fc98831a
Apr 29, 2022
- Fixed sum types in order to enable recursive types (close #26 ) · 0a0ff739
  Nathan PERIER authored 2 years ago
  
  0a0ff739
Apr 28, 2022
- Added expressions for if/then/else and declared variables, and tests for those expressions · 336e993e
  Nathan PERIER authored 2 years ago
  
  336e993e
- Added tests for recursive types · 832f0d64
  Nathan PERIER authored 2 years ago
  
  832f0d64
- Added pair utility · c50fea75
  Nathan PERIER authored 2 years ago
  
  c50fea75
- Variable definitions no longer contain a `Context` but they can be assigned an... · 4fd6dba6
  Nathan PERIER authored 2 years ago
  
  Variable definitions no longer contain a `Context` but they can be assigned an expression (close #25)
  4fd6dba6
Apr 27, 2022
- Actually we use doubles to represent floats · 8985ba57
  Nathan PERIER authored 2 years ago
  
  8985ba57
- Token refactor to avoid casting · 662bcd61
  Nathan PERIER authored 2 years ago
  
  662bcd61
- Added expressions for the body of assignements · d993631c
  Nathan PERIER authored 2 years ago
  
  d993631c
Apr 14, 2022
- Simplified the returned mapping so that the generics are already replaced (close #4 ) · 5d08f95e
  Nathan PERIER authored 2 years ago
  
  5d08f95e
- Modified tests for a simplified version of the mappings (close #24 ) · 5b679f30
  Nathan PERIER authored 2 years ago
  
  5b679f30
- 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