/usr/lib/mlton/sml/basis/basis-none.mlb is in mlton-basis 20130715-3.
This file is owned by root:root, with mode 0o644.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | (* Copyright (C) 2004-2005 Henry Cejtin, Matthew Fluet, Suresh
* Jagannathan, and Stephen Weeks.
*
* MLton is released under a BSD-style license.
* See the file MLton-LICENSE for details.
*)
ann
"deadCode true"
"sequenceNonUnit warn"
"nonexhaustiveMatch warn" "redundantMatch warn"
"warnUnused true" "forceUsed"
in
local
libs/basis-extra/basis-extra.mlb
libs/basis-none/top-level/basis.sig
libs/basis-none/top-level/basis.sml
in
libs/basis-none/top-level/top-level.sml
libs/basis-none/top-level/infixes.sml
end
end
|