diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-08-03 19:49:21 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-08-03 19:49:21 -0400 |
| commit | 744cdbb9e3907db9bb01576750634c614147e1a3 (patch) | |
| tree | aecef31d4055d34a31977834cbda020811d1dfab /src/expl_util.sml | |
| parent | 9a9f1738a8eae9df07f97da224cd9cf45033e9dc (diff) | |
Datatype representation optimization
Diffstat (limited to 'src/expl_util.sml')
| -rw-r--r-- | src/expl_util.sml | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/expl_util.sml b/src/expl_util.sml index 290c64f5..481a96b0 100644 --- a/src/expl_util.sml +++ b/src/expl_util.sml @@ -29,6 +29,12 @@ structure ExplUtil :> EXPL_UTIL = struct open Expl +fun classifyDatatype xncs = + if List.all (fn (_, _, NONE) => true | _ => false) xncs then + Enum + else + Default + structure S = Search structure Kind = struct |