Alan Schmitt authored 8 years ago and Thomas Wood committed 8 years ago

putting if_success_or_return out of the way

Still TODO: Strictness flag

returned expression must begin on same line as return keyword.

This reverts commit 5df5474b454f501d63d1a5eaebe6d82e22fd825f.

It introduces a syntax error on the : in the produced assembly.js at
line 1636:
  var res_ref = function (r) {
    return
      {
>>      res_type: Coq_restype_normal(),
        res_value: Coq_resvalue_ref(r),
        res_label: Coq_label_empty()
      };
  };

This reverts commit 97c8a730b5f246ee3b3f5d8a5f510d16f18412d1.