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.