Commit | Line | Data |
---|---|---|
7f918cf1 CE |
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 |