Skip to content
Snippets Groups Projects
Select Git revision
  • main default protected
1 result
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.01May30Apr29282714121110121Mar18151210987328Feb25Added explanations and examplesmainmainAdded the rest of the codeExpressions for nuplesParsing of nested declarations (close #32)Better replacement of types in expressions and unification with declared type (close #29)Added a visitor to get all the names that are not associated with a value in an expressionReplacement of generics within the types of expressions (close #28)Actually add the constructor through the context so they are referencedMoved the context in a more fitting packageFixed name expression evaluationChecks for unused or unreachable generics in user-defined types (close #20)Added duplication of variable definitions and a visitor to duplicate expressions (close #31)Removed redundant castsParsing and testing for name expressions and consdition expressions (close #23)Added expressions for variables that only have a name but aren't associated with a valueAdded visitors for expressionsAdded an interface for elements that can be displayedFixed sum types in order to enable recursive types (close #26)Added expressions for if/then/else and declared variables, and tests for those expressionsAdded tests for recursive typesAdded pair utilityVariable definitions no longer contain a `Context` but they can be assigned an expression (close #25)Actually we use doubles to represent floatsToken refactor to avoid castingAdded expressions for the body of assignementsSimplified the returned mapping so that the generics are already replaced (close #4)Modified tests for a simplified version of the mappings (close #24)Added proper unification of types after defining equivalentsAdded tests that cover the main edge casesAdded exception for when the position is not directly availableAdded case for empty graphMoved unification testsAdded an implementation of Tarjan's algorithm to check for loops during type unificationStarted working on type unificationAdded a way to explicitly set the return type of a function (close #22)Removed nuples in function definition (too much of a bother for now), added checks for duplicate parameters (close #12)Added propagation of the specifications for user-defined types (close #13)Added tests for specification with user-defined typesRenaming of generics over several types (close #15)Get the list of generics with the visitor