/usr/lib/mlton/sml/basis/default.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 | (* Copyright (C) 2005-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.
*)
(* Order here matters for choice of type names. In particular, we want
* basis.mlb to come last so that basis type names are preferred to MLton type
* names.
*)
unsafe.mlb
sml-nj.mlb
mlton.mlb
basis.mlb
|