gavelino: > Hi, > > I'm using the flag -fext-core to obtain the core of a program. But, > rewrite rules not changed this code. Are there any way to observe the > changes cause by rewrite rules on Core language? > Yeah, -ddump-simpl-iterations -ddump-simpl-stats will show each iteration of the Core, and what rules fired. -- Don