lib/stubs/basis-stubs-for-polyml/real.sml

   1 (* Copyright (C) 2009 Matthew Fluet.
   2  * Copyright (C) 1999-2006 Henry Cejtin, Matthew Fluet, Suresh
   3  *    Jagannathan, and Stephen Weeks.
   4  * Copyright (C) 1997-2000 NEC Research Institute.
   5  *
   6  * MLton is released under a BSD-style license.
   7  * See the file MLton-LICENSE for details.
   8  *)
   9
  10 structure Real64 = Real
  11 structure Real32 = Real
  12
  13 (* Dummy implementation that will not be used at run-time. *)
  14 structure PackReal32Big : PACK_REAL where type real = Real32.real = struct
  15    type real = Real32.real
  16    val bytesPerElem = 0
  17    val isBigEndian = false
  18    fun toBytes _ = raise Fail "PackReal32Big.toBytes"
  19    fun fromBytes _ = raise Fail "PackReal32Big.fromBytes"
  20    fun subVec _ = raise Fail "PackReal32Big.subVec"
  21    fun subArr _ = raise Fail "PackReal32Big.subArr"
  22    fun update _ = raise Fail "PackReal32Big.update"
  23 end
  24 (* Dummy implementation that will not be used at run-time. *)
  25 structure PackReal32Little : PACK_REAL where type real = Real32.real = struct
  26    type real = Real32.real
  27    val bytesPerElem = 0
  28    val isBigEndian = false
  29    fun toBytes _ = raise Fail "PackReal32Little.toBytes"
  30    fun fromBytes _ = raise Fail "PackReal32Little.fromBytes"
  31    fun subVec _ = raise Fail "PackReal32Little.subVec"
  32    fun subArr _ = raise Fail "PackReal32Little.subArr"
  33    fun update _ = raise Fail "PackReal32Little.update"
  34 end
  35
  36 (* Dummy implementation that will not be used at run-time. *)
  37 structure PackReal64Big : PACK_REAL where type real = Real64.real  = struct
  38    type real = Real64.real
  39    val bytesPerElem = 0
  40    val isBigEndian = false
  41    fun toBytes _ = raise Fail "PackReal64Big.toBytes"
  42    fun fromBytes _ = raise Fail "PackReal64Big.fromBytes"
  43    fun subVec _ = raise Fail "PackReal64Big.subVec"
  44    fun subArr _ = raise Fail "PackReal64Big.subArr"
  45    fun update _ = raise Fail "PackReal64Big.update"
  46 end
  47 (* Dummy implementation that will not be used at run-time. *)
  48 structure PackReal64Little : PACK_REAL where type real = Real64.real  = struct
  49    type real = Real64.real
  50    val bytesPerElem = 0
  51    val isBigEndian = false
  52    fun toBytes _ = raise Fail "PackReal64Little.toBytes"
  53    fun fromBytes _ = raise Fail "PackReal64Little.fromBytes"
  54    fun subVec _ = raise Fail "PackReal64Little.subVec"
  55    fun subArr _ = raise Fail "PackReal64Little.subArr"
  56    fun update _ = raise Fail "PackReal64Little.update"
  57 end