 
     test 'throw return type mismatch', ->
       throws ->
-        CoffeeScript.parse """
+        parse """
           arr :: Number[] = ("" for i in [1,2,3])
         """
 
     test 'throw target mismatch', ->
       throws ->
-        CoffeeScript.parse """
+        parse """
           arr :: Number[] = (i for i :: Number in [1,2,""])
         """
 


    test 'throw struct member access with mismatch type', ->
      throws ->
        CoffeeScript.parse """
          struct Point {
            x :: Number
            y :: Number


    test 'typed function mismatching application', ->
      throws ->
        parse """
          f :: Number -> Number = 3
        """

