Changeset 7747 for src/Pugs/Types

Timestamp:

10/27/05 03:54:07 (3 years ago)

Author:

autrijus

Message:

* Typed Thunks. This is a fairly self-contained change

to make lazy {...} values carry inferred types.

The upshot is that supplying a function with a lazy
value should pass MMD _without_ evaluating the thunk.

This is unspecced, and not at all reliable, but still
committed (by request of wolverian). If it turns out
to be not feasible or adversely impacts performance
and/or readability we can always revert back.

Files:

• src/Pugs/Types/Thunk.hs (modified) (1 diff)

src/Pugs/Types/Thunk.hs

@@ -6 +6 @@
 
 instance ThunkClass VThunk where
-    thunk_force (MkThunk c) = c
+    thunk_iType (MkThunk _ t) = t
+    thunk_force (MkThunk c _) = c