diff options
Diffstat (limited to 'src/monomorphise.mli')
| -rw-r--r-- | src/monomorphise.mli | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/src/monomorphise.mli b/src/monomorphise.mli index 39b4e244..8e0c1ede 100644 --- a/src/monomorphise.mli +++ b/src/monomorphise.mli @@ -49,10 +49,11 @@ (**************************************************************************) type options = { - auto : bool; (* Analyse ast to find splits for monomorphisation *) - debug_analysis : int; (* Debug output level for the automatic analysis *) - rewrites : bool; (* Experimental rewrites for variable-sized operations *) - rewrite_size_parameters : bool (* Make implicit type parameters explicit for (e.g.) lem *) + auto : bool; (* Analyse ast to find splits for monomorphisation *) + debug_analysis : int; (* Debug output level for the automatic analysis *) + rewrites : bool; (* Experimental rewrites for variable-sized operations *) + rewrite_size_parameters : bool; (* Make implicit type parameters explicit for (e.g.) lem *) + all_split_errors : bool } val monomorphise : |