DDC.Core.Salt.Transfer

Documentation

transferModule :: Module (AnTEC a Name) Name -> Either (Error (AnTEC a Name)) (Module (AnTEC a Name) Name)

Add control transfer primops to function bodies. For example:

      fun [x : Int32#] : Int32#
         = case ... of
                 ...      -> add# [Int32] ...
                 ...      -> fun x

=> fun [x : Int32#] : Int32#
         = case ... of
                 ...      -> return# [Int32#] (add# [Int32] ...)
                 ...      -> tailcall1# [Int32#] [Int32#] fun x

The control primops return tell us how to transfer control after we've finished with the current function.