diff options
| author | simonpj@microsoft.com <unknown> | 2006-10-18 11:22:35 +0000 |
|---|---|---|
| committer | simonpj@microsoft.com <unknown> | 2006-10-18 11:22:35 +0000 |
| commit | 41c97fdcffd38949f89af8094a9f60203b189531 (patch) | |
| tree | 71be71d53b2d4139a2db5bb22561d99dcc0a9531 | |
| parent | 5563de103758e4d715c1d08d396923d7e1870573 (diff) | |
| download | haskell-41c97fdcffd38949f89af8094a9f60203b189531.tar.gz | |
Comments onl
| -rw-r--r-- | compiler/codeGen/ClosureInfo.lhs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/codeGen/ClosureInfo.lhs b/compiler/codeGen/ClosureInfo.lhs index 831e4ecf7f..8f62bc7e0e 100644 --- a/compiler/codeGen/ClosureInfo.lhs +++ b/compiler/codeGen/ClosureInfo.lhs @@ -583,17 +583,18 @@ getCallMethod this_pkg name (LFCon con) n_args ReturnCon con getCallMethod this_pkg name (LFThunk _ _ updatable std_form_info is_fun) n_args - | is_fun -- Must always "call" a function-typed - = SlowCall -- thing, cannot just enter it [in eval/apply, the entry code + | is_fun -- *Might* be a function, so we must "call" it (which is always safe) + = SlowCall -- We cannot just enter it [in eval/apply, the entry code -- is the fast-entry code] + -- Since is_fun is False, we are *definitely* looking at a data value | updatable || opt_DoTickyProfiling -- to catch double entry {- OLD: || opt_SMP I decided to remove this, because in SMP mode it doesn't matter if we enter the same thunk multiple times, so the optimisation of jumping directly to the entry code is still valid. --SDM -} - = ASSERT( n_args == 0 ) EnterIt + = ASSERT2( n_args == 0, ppr name ) EnterIt | otherwise -- Jump direct to code for single-entry thunks = ASSERT( n_args == 0 ) |