/[mojave]/metaprl/theories/mc/mp_mc_connect_base.ml
ViewVC logotype

Diff of /metaprl/theories/mc/mp_mc_connect_base.ml

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 3588 by emre, Fri Apr 19 08:09:21 2002 UTC revision 3589 by emre, Sat Apr 27 04:44:46 2002 UTC
# Line 461  Line 461 
461      | RawIntSub (p, s) ->  mk_rawIntSub_term (term_of_int_precision p)      | RawIntSub (p, s) ->  mk_rawIntSub_term (term_of_int_precision p)
462                                               (term_of_int_signed s)                                               (term_of_int_signed s)
463      | RawFloatSub p ->     mk_rawFloatSub_term (term_of_float_precision p)      | RawFloatSub p ->     mk_rawFloatSub_term (term_of_float_precision p)
464        | PointerInfixSub ->   pointerInfixSub_term
465      | PointerSub ->        pointerSub_term      | PointerSub ->        pointerSub_term
466      | FunctionSub ->       functionSub_term      | FunctionSub ->       functionSub_term
467    
# Line 473  Line 474 
474                       (int_signed_of_term s)                       (int_signed_of_term s)
475     else if is_rawFloatSub_term t then     else if is_rawFloatSub_term t then
476        RawFloatSub (float_precision_of_term (dest_rawFloatSub_term t))        RawFloatSub (float_precision_of_term (dest_rawFloatSub_term t))
477       else if is_pointerInfixSub_term t then
478          PointerInfixSub
479     else if is_pointerSub_term t then     else if is_pointerSub_term t then
480        PointerSub        PointerSub
481     else if is_functionSub_term t then     else if is_functionSub_term t then

Legend:
Removed from v.3588  
changed lines
  Added in v.3589

  ViewVC Help
Powered by ViewVC 1.1.26