Any value that is stored in the graph over more than a single atomic evaluation must be stored in WHNF. This implies that latch values must be forced to WHNF before storing them. On the other hand, only latch values can be stored for a longer time, so they are the only place where we need to do this. The model semantics have been corrected in a similar way.
…use the model implementation if we are not compiling with GHC.
…ftIOLater function for full support. Example.
…exhibits a space leak, probably due to ResultE being a lazy pattern match.
…ed project metadata.
…sucks, though, don't use that!