1 (* Copyright (C
) 2003-2009 Henry Cejtin
, Matthew Fluet
, Suresh
2 * Jagannathan
, and Stephen Weeks
.
4 * MLton is released under a BSD
-style license
.
5 * See the file MLton
-LICENSE for details
.
8 structure MLtonPlatform
: MLTON_PLATFORM
=
10 open Primitive
.MLton
.Platform
12 fun peek (l
, f
) = List.find f l
13 fun omap (opt
, f
) = Option
.map f opt
29 (PowerPC64
, "PowerPC64"),
36 val s
= String.toLower s
38 omap (peek (all
, fn (_
, s
') => s
= String.toLower s
'), #
1)
41 fun toString a
= #
2 (valOf (peek (all
, fn (a
', _
) => a
= a
')))
50 (Executable
, "Executable"),
51 (LibArchive
, "LibArchive"),
56 val s
= String.toLower s
58 omap (peek (all
, fn (_
, s
') => s
= String.toLower s
'), #
1)
61 fun toString a
= #
2 (valOf (peek (all
, fn (a
', _
) => a
= a
')))
83 val s
= String.toLower s
85 omap (peek (all
, fn (_
, s
') => s
= String.toLower s
'), #
1)
88 fun toString a
= #
2 (valOf (peek (all
, fn (a
', _
) => a
= a
')))