]> gerrit.simantics Code Review - simantics/platform.git/blob
52826a5389f8884bb0071114d6209ab44dc13c39
[simantics/platform.git] /
1 \r
2 data Vec2 = Vec2 Double Double\r
3 data Vec3 = Vec2 Double Double Double\r
4 \r
5 main = "Not to be executed."\r
6 --\r
7 3:13-3:38: Value Vec2 is already defined.