Commits · main · Nathan PERIER / minichamo · GitLab

01 May, 2022 15 commits
- Added explanations and examples · 39d6b9fa
  Nathan PERIER authored May 01, 2022
  
  39d6b9fa
- Added the rest of the code · 3ad22574
  Nathan PERIER authored May 01, 2022
  
  3ad22574
- Expressions for nuples · e3006828
  Nathan PERIER authored May 01, 2022
  
  e3006828
- Parsing of nested declarations (close #32 ) · be40f918
  Nathan PERIER authored May 01, 2022
  
  be40f918
- Better replacement of types in expressions and unification with declared type (close #29 ) · a0fd2d73
  Nathan PERIER authored May 01, 2022
  
  a0fd2d73
- Added a visitor to get all the names that are not associated with a value in an expression · a012f126
  Nathan PERIER authored May 01, 2022
  
  a012f126
- Replacement of generics within the types of expressions (close #28 ) · c189f501
  Nathan PERIER authored May 01, 2022
  
  c189f501
- Actually add the constructor through the context so they are referenced · c09814d5
  Nathan PERIER authored May 01, 2022
  
  c09814d5
- Moved the context in a more fitting package · 3a4155f6
  Nathan PERIER authored May 01, 2022
  
  3a4155f6
- Fixed name expression evaluation · 67cb0881
  Nathan PERIER authored May 01, 2022
  
  67cb0881
- Checks for unused or unreachable generics in user-defined types (close #20 ) · 57d810d5
  Nathan PERIER authored May 01, 2022
  
  57d810d5
- Added duplication of variable definitions and a visitor to duplicate expressions (close #31 ) · db733317
  Nathan PERIER authored May 01, 2022
  
  db733317
- Removed redundant casts · 2f5a609d
  Nathan PERIER authored May 01, 2022
  
  2f5a609d
- Parsing and testing for name expressions and consdition expressions (close #23 ) · 55d556fa
  Nathan PERIER authored May 01, 2022
  
  55d556fa
- Added expressions for variables that only have a name but aren't associated with a value · fa6b9ccc
  Nathan PERIER authored May 01, 2022
  
  fa6b9ccc
30 Apr, 2022 2 commits
- Added visitors for expressions · af57b2af
  Nathan PERIER authored Apr 30, 2022
  
  af57b2af
- Added an interface for elements that can be displayed · fc98831a
  Nathan PERIER authored Apr 30, 2022
  
  fc98831a
29 Apr, 2022 1 commit
- Fixed sum types in order to enable recursive types (close #26 ) · 0a0ff739
  Nathan PERIER authored Apr 29, 2022
  
  0a0ff739
28 Apr, 2022 4 commits
- Added expressions for if/then/else and declared variables, and tests for those expressions · 336e993e
  Nathan PERIER authored Apr 28, 2022
  
  336e993e
- Added tests for recursive types · 832f0d64
  Nathan PERIER authored Apr 28, 2022
  
  832f0d64
- Added pair utility · c50fea75
  Nathan PERIER authored Apr 28, 2022
  
  c50fea75
- Variable definitions no longer contain a `Context` but they can be assigned an... · 4fd6dba6
  Nathan PERIER authored Apr 28, 2022
```
Variable definitions no longer contain a `Context` but they can be assigned an expression (close #25)
```
  4fd6dba6
27 Apr, 2022 3 commits
- Actually we use doubles to represent floats · 8985ba57
  Nathan PERIER authored Apr 27, 2022
  
  8985ba57
- Token refactor to avoid casting · 662bcd61
  Nathan PERIER authored Apr 27, 2022
  
  662bcd61
- Added expressions for the body of assignements · d993631c
  Nathan PERIER authored Apr 27, 2022
  
  d993631c
14 Apr, 2022 7 commits
- Simplified the returned mapping so that the generics are already replaced (close #4 ) · 5d08f95e
  Nathan PERIER authored Apr 14, 2022
  
  5d08f95e
- Modified tests for a simplified version of the mappings (close #24 ) · 5b679f30
  Nathan PERIER authored Apr 14, 2022
  
  5b679f30
- Added proper unification of types after defining equivalents · 2e8ed276
  Nathan PERIER authored Apr 14, 2022
  
  2e8ed276
- Added tests that cover the main edge cases · 5b03d12d
  Nathan PERIER authored Apr 14, 2022
  
  5b03d12d
- Added exception for when the position is not directly available · aa110d40
  Nathan PERIER authored Apr 14, 2022
  
  aa110d40
- Added case for empty graph · 0f2f9e2b
  Nathan PERIER authored Apr 14, 2022
  
  0f2f9e2b
- Moved unification tests · d616a324
  Nathan PERIER authored Apr 14, 2022
  
  d616a324
12 Apr, 2022 1 commit
- Added an implementation of Tarjan's algorithm to check for loops during type unification · bc5d4c51
  Nathan PERIER authored Apr 12, 2022
  
  bc5d4c51
11 Apr, 2022 2 commits
- Started working on type unification · c3d2870b
  Nathan PERIER authored Apr 11, 2022
  
  c3d2870b
- Added a way to explicitly set the return type of a function (close #22 ) · c9dc24d4
  Nathan PERIER authored Apr 11, 2022
  
  c9dc24d4
10 Apr, 2022 2 commits
- Removed nuples in function definition (too much of a bother for now), added... · a31d2647
  Nathan PERIER authored Apr 10, 2022
```
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 Apr 10, 2022
  
  7782eeca
01 Apr, 2022 3 commits
- Added tests for specification with user-defined types · 335fe119
  Nathan PERIER authored Apr 01, 2022
  
  335fe119
- Renaming of generics over several types (close #15 ) · 11eaffd4
  Nathan PERIER authored Apr 01, 2022
  
  11eaffd4
- Get the list of generics with the visitor · 014812b2
  Nathan PERIER authored Apr 01, 2022
  
  014812b2