Added propagation of the specifications for user-defined types (close #13)
Showing
- src/main/java/fr/insarennes/nperier/minichamo/language/typing/AliasType.java 11 additions, 3 deletions...sarennes/nperier/minichamo/language/typing/AliasType.java
- src/main/java/fr/insarennes/nperier/minichamo/language/typing/Constructor.java 6 additions, 0 deletions...rennes/nperier/minichamo/language/typing/Constructor.java
- src/main/java/fr/insarennes/nperier/minichamo/language/typing/SumType.java 25 additions, 10 deletions...insarennes/nperier/minichamo/language/typing/SumType.java
- src/test/java/fr/insarennes/nperier/minichamo/language/typing/TypeTests.java 4 additions, 1 deletion...sarennes/nperier/minichamo/language/typing/TypeTests.java
Loading
Please register or sign in to comment