d409f19/cellmata

Add ImplicitConversion nodes to AST when needed in type checker

Closed this issue · 0 comments

Currently we either just allow integers where we want floats or throw an error, but ideally we should insert a conversion node to decorate the integer branch. Same goes for arrays of states and neighbourhoods.