Normal Order Reduction performed

public text v1 · immutable

#1412001

·published 2009-05-04 10:26 UTC

  main World
= putChar 'c' World
= hPutChar stdout 'c' World
= wrapPrim stdout 2558 (hPutCharC stdout 'c') World
= >>= (hPutCharC stdout 'c') (2526 2558 stdout) World
= 1791_ioBind (hPutCharC stdout 'c') 2526 2558 stdout World
= case hPutCharC stdout 'c' World of _E x -> 2526 2558 stdout x World
= case _mkIOok2 hPutCharC# stdout 'c' World of _E x -> 2526 2558 stdout x World
= case 1000 hPutCharC# stdout 'c' World of _E x -> 2526 2558 stdout x World
= case 999 stdout 'c' hPutCharC# World of _E x -> 2526 2558 stdout x World
= case $! 998 hPutCharC# stdout 'c' of _E x -> 2526 2558 stdout x World
= case seq hPutCharC# 998 hPutCharC# stdout 'c' of _E x -> 2526 2558 stdout x World
= case SEQ hPutCharC# 998 hPutCharC# stdout 'c' of _E x -> 2526 2558 stdout x World
= case 998 hPutCharC# stdout 'c' of _E x -> 2526 2558 stdout x World
= case _E hPutCharC# stdout 'c' of _E x -> 2526 2558 stdout x World