Displaying 5 results from an estimated 5 matches for "make_function".
2012 Oct 23
4
[LLVMdev] Here need your help
Hi all
when i compiled llvm-3.0 with icedtea1.11.4 together,A memory_barrier error happened ,And now I write to all of you for the following questions need your help and suggestion :
1, Is any function which can replace the "make_function" in the following function,
2 , Or is there any different paramters in make_function with the similar action with the following one
3 ,Is there a function similar with "nop" which can return a address in LLVM or Shark ,
Value* SharkBuilder::memory_barrier() {
return...
2008 Mar 15
4
[LLVMdev] improving the ocaml binding's type safety
...t it
also match `Foo? Yes it will. We'll work around this by making the
type 't' abstract. Then, only our module can create values of it.
We'll provide helper functions to create llvalues and llfunctions,
which will preserve our invariants:
val make_value : unit -> llvalue t
val make_function : unit -> llfunction t
Here's the full example:
foo.mli:
type 'a t
type llvalue = [ `Value ]
type llfunction = [ llvalue | `Function ]
val use_value : [> `Value] t -> unit
val use_function : [> `Function] t -> unit
val make_value : unit -> llvalue t
val make_function...
2008 Mar 15
0
[LLVMdev] improving the ocaml binding's type safety
...s the full example:
>
> foo.mli:
> type 'a t
> type llvalue = [ `Value ]
> type llfunction = [ llvalue | `Function ]
>
> val use_value : [> `Value] t -> unit
> val use_function : [> `Function] t -> unit
>
> val make_value : unit -> llvalue t
> val make_function : unit -> llfunction t
>
> Does this sound like it could work, or am I missing something?
I think your sum types are incorrect here. Value is abstract; I think
you want to say something like:
type llglobal = [ `GlobalVariable | `Function | ... ]
type llconst = [ llglobal | `ConstantIn...
2008 Mar 15
3
[LLVMdev] improving the ocaml binding's type safety
...le of the following functions:
string Value::getName()
bool Constant::isNull()
bool GlobalValue::isDeclaration()
bool GlobalVariable::isGlobalConstant()
bool Function::isVarArg()
Driver code:
val make_constant : unit -> llconstant t
val make_global_variable : unit -> llglobalvariable t
val make_function : unit -> llfunction t
(* typesafe *)
value_name (make_constant ());;
value_name (make_global_variable ());;
value_name (make_function ());;
is_null (make_constant ());;
is_declaration (make_global_variable ());;
is_declaration (make_function ());;
is_global_constant (make_global_variable ());;...
2012 Oct 04
2
How to build a list with missing values? What is missing, anyway?
This is tangentially related to Hadley's question.
Suppose I'm building a function programmatically; I have assembled an
expression for the body and I know the names of the arguments it wants
to take.
Suppose I have some convenience function such that writing
make_function(alist(a=, b=), quote(a+b), environment())
is equivalent to writing
function(a,b) a+b
So how do I make the list that goes in the first argument? Suppose I
start with a character vector of argument names. What I need is a list
with names and quoted values, but the values are "empty"....