Skip to content
Snippets Groups Projects
Commit bc92a537 authored by Simon Marlow's avatar Simon Marlow
Browse files

[project @ 1998-05-18 12:38:20 by simonm]

bump:	uNFOLDING_USE_THRESHOLD  	to 8
	uNFOLDING_CON_DISCOUNT_WEIGHT  	to 3
parent 79b31ba0
No related merge requests found
......@@ -78,7 +78,7 @@ import Util
All pretty arbitrary:
\begin{code}
uNFOLDING_USE_THRESHOLD = ( 3 :: Int)
uNFOLDING_USE_THRESHOLD = ( 8 :: Int)
uNFOLDING_CREATION_THRESHOLD = (30 :: Int) -- Discounts can be big
iNTERFACE_UNFOLD_THRESHOLD = (30 :: Int)
lIBERATE_CASE_THRESHOLD = (10 :: Int)
......@@ -86,7 +86,7 @@ lIBERATE_CASE_THRESHOLD = (10 :: Int)
uNFOLDING_CHEAP_OP_COST = ( 1 :: Int)
uNFOLDING_DEAR_OP_COST = ( 4 :: Int)
uNFOLDING_NOREP_LIT_COST = ( 20 :: Int) -- Strings can be pretty big
uNFOLDING_CON_DISCOUNT_WEIGHT = ( 1 :: Int)
uNFOLDING_CON_DISCOUNT_WEIGHT = ( 3 :: Int)
uNFOLDING_KEENESS_FACTOR = ( 2.0 :: Float)
\end{code}
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment