-\r
-data Vec2 = Vec2 Double Double\r
-data Vec3 = Vec2 Double Double Double\r
-\r
-main = "Not to be executed."\r
---\r
+
+data Vec2 = Vec2 Double Double
+data Vec3 = Vec2 Double Double Double
+
+main = "Not to be executed."
+--
+3:13-3:38: Value Vec2 has already been defined in this module.
3:13-3:38: Value Vec2 is already defined.
\ No newline at end of file