PmCompilerOptions.dcl 733 Bytes
Newer Older
Diederik van Arkel's avatar
Diederik van Arkel committed
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
definition module PmCompilerOptions

import StdClass

::	ListTypes	= NoTypes | InferredTypes | StrictExportTypes | AllTypes

instance == ListTypes
instance toString ListTypes
instance fromString ListTypes

//	The Compiler Options: default settings for the compiler.
::	CompilerOptions	=
	{	neverMemoryProfile	:: !Bool
	,	neverTimeProfile	:: !Bool
	,	sa					:: !Bool		// strictness analysis
	,	listTypes			:: !ListTypes	// how to present inferred types
	,	attr				:: !Bool		// show attributes with inferred types
	,	gw					:: !Bool		// give warnings
	,	bv					:: !Bool		// be verbose
	,	gc					:: !Bool		// generate commented abc-code
	,	reuseUniqueNodes	:: !Bool 
22
	,	fusion				:: !Bool
Diederik van Arkel's avatar
Diederik van Arkel committed
23
24
25
	}

DefaultCompilerOptions		:: CompilerOptions