summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
2891246)
This ensures that any function that stateless is inlined into doesn't
become polymorph.
-- This function is from Sim.hs, but we redefine it here so it can get inlined
-- by default.
-- This function is from Sim.hs, but we redefine it here so it can get inlined
-- by default.
+stateless :: (i -> o) -> (i -> () -> ((), o))
stateless f = \i s -> (s, f i)
show_add f = do print ("Sum: " ++ (displaysigs s)); print ("Carry: " ++ (displaysig c))
stateless f = \i s -> (s, f i)
show_add f = do print ("Sum: " ++ (displaysigs s)); print ("Carry: " ++ (displaysig c))