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.
6 * MLton is released under a BSD-style license.
7 * See the file MLton-LICENSE for details.
10 signature ANALYZE_STRUCTS =
17 include ANALYZE_STRUCTS
22 conApp: {args: 'a vector,
25 filter: 'a * Con.t * 'a vector -> unit,
26 filterWord: 'a * WordSize.t -> unit,
27 fromType: Type.t -> 'a,
28 layout: 'a -> Layout.t,
29 primApp: {args: 'a vector,
32 resultVar: Var.t option,
33 targs: Type.t vector} -> 'a,
38 tuple: 'a vector -> 'a,
39 useFromTypeOnBinds: bool
43 func: Func.t -> {args: 'a vector,
44 raises: 'a vector option,
45 returns: 'a vector option},
46 label: Label.t -> 'a vector