home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 5 / Apprentice-Release5.iso / Source Code / C / Applications / Moscow ML 1.31 / source code / mosml / src / compiler / Smlprim.sml < prev    next >
Encoding:
Text File  |  1996-07-03  |  1.1 KB  |  70 lines  |  [TEXT/R*ch]
  1. (* SML primitives *)
  2.  
  3. local
  4.   open Obj Const Prim;
  5. in
  6.  
  7. datatype SMLPrim =
  8.     MLPeq
  9.   | MLPeq_c
  10.   | MLPnoteq
  11.   | MLPnoteq_c
  12.   | MLPref
  13.   | MLPsetref
  14.   | MLPsetref_c
  15.   | MLPadd_int
  16.   | MLPadd_int_c
  17.   | MLPsub_int
  18.   | MLPsub_int_c
  19.   | MLPmul_int
  20.   | MLPmul_int_c
  21.   | MLPdiv_int
  22.   | MLPdiv_int_c
  23.   | MLPmod_int
  24.   | MLPmod_int_c
  25.   | MLPquot_int
  26.   | MLPquot_int_c
  27.   | MLPrem_int
  28.   | MLPrem_int_c
  29.   | MLPlt_int
  30.   | MLPlt_int_c
  31.   | MLPgt_int
  32.   | MLPgt_int_c
  33.   | MLPle_int
  34.   | MLPle_int_c
  35.   | MLPge_int
  36.   | MLPge_int_c
  37.   | MLPadd_real
  38.   | MLPadd_real_c
  39.   | MLPsub_real
  40.   | MLPsub_real_c
  41.   | MLPmul_real
  42.   | MLPmul_real_c
  43.   | MLPdiv_real
  44.   | MLPdiv_real_c
  45.   | MLPlt_real
  46.   | MLPlt_real_c
  47.   | MLPgt_real
  48.   | MLPgt_real_c
  49.   | MLPle_real
  50.   | MLPle_real_c
  51.   | MLPge_real
  52.   | MLPge_real_c
  53.   | MLPlt_string
  54.   | MLPlt_string_c
  55.   | MLPgt_string
  56.   | MLPgt_string_c
  57.   | MLPle_string
  58.   | MLPle_string_c
  59.   | MLPge_string
  60.   | MLPge_string_c
  61.   | MLPconcat
  62.   | MLPconcat_c
  63.   | MLPprim of int * primitive
  64.   | MLPccall of int * string
  65.   | MLPgv of QualifiedIdent
  66.   | MLPgvt of QualifiedIdent * obj ref
  67. ;
  68.  
  69. end;
  70.