mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 17:33:38 +00:00
30 lines
1.0 KiB
Plaintext
30 lines
1.0 KiB
Plaintext
%---------------------------------------------------------------------------%
|
|
% vim: ft=mercury ts=4 sw=4 et
|
|
%---------------------------------------------------------------------------%
|
|
% Copyright (C) 2020 The Mercury team.
|
|
% This file may only be copied under the terms of the GNU General
|
|
% Public License - see the file COPYING in the Mercury distribution.
|
|
%---------------------------------------------------------------------------%
|
|
%
|
|
% File: optimization_options.m
|
|
% Main author: zs
|
|
%
|
|
% THIS MODULE IS AUTOMATICALLY GENERATED BY tools/make_optimization_options.
|
|
% DO NOT EDIT.
|
|
%
|
|
% This module manages optimization options. It defines a type, the opt_tuple,
|
|
% that allows quick access to them, sets their default values, and implements
|
|
% the turning on of optimizations when a given optimization level is selected.
|
|
%
|
|
|
|
:- module libs.optimization_options.
|
|
:- interface.
|
|
|
|
:- import_module libs.options.
|
|
|
|
:- import_module bool.
|
|
:- import_module list.
|
|
|
|
%---------------------------------------------------------------------------%
|
|
|