extracted correctness tests

examples/project.carp

@@ -56,25 +56,5 @@
 ;; :c {:x 300}}
 
 
-(defstruct Blergh [x :int])
 
-(defn x2 [x]
- (* x 2))
 
-(defn double-blergh [b]
- (Blergh-update-x b x2))
-
-(def x (Blergh 123))
-;;(bake x)
-
-(println (str (double-blergh x)))
-(println (str (double-blergh x)))
-(println (str (double-blergh x)))
-
-
-(def stuff [1 2 3 4 5])
-(defn map-stuff [x] (map inc x))
-(bake map-stuff)
-(println (str (map-stuff stuff)))
-(println (str (map-stuff stuff)))
-(println (str (map-stuff stuff)))

lisp/compiler_tests.carp

@@ -14,6 +14,7 @@
 (load-lisp (str carp-dir "lisp/test_printing.carp"))
 (load-lisp (str carp-dir "lisp/test_baking.carp"))
 (load-lisp (str carp-dir "lisp/test_generics.carp"))
+(load-lisp (str carp-dir "lisp/test_correctness.carp"))
 
 ;; These tests are for manual inspections:
 (load-lisp (str carp-dir "lisp/test_stack_trace.carp"))

lisp/test_correctness.carp

@@ -0,0 +1,22 @@
+(tester/set-suite! "correctness")
+
+(deftest test-mutate-global-struct
+ (do (defstruct Blergh [x :int])
+ (defn x2 [x]
+ (* x 2))
+ (defn double-blergh [b]
+ (Blergh-update-x b x2))
+ (def x (Blergh 123))
+ (assert-eq "(Blergh 246)" (str (double-blergh x)))
+ (assert-eq "(Blergh 246)" (str (double-blergh x)))
+ (assert-eq "(Blergh 246)" (str (double-blergh x)))))
+
+(deftest test-mutate-global-array
+ (do (def stuff [1 2 3 4 5])
+ (defn map-stuff [x] (map inc x))
+ (bake map-stuff)
+ (assert-eq "[1 2 3 4 5]" (str (map-stuff stuff)))
+ (assert-eq "[1 2 3 4 5]" (str (map-stuff stuff)))
+ (assert-eq "[1 2 3 4 5]" (str (map-stuff stuff)))))
+
+(tester/run-suite "correctness")