|
|
|
|
|
|
by adgjlsfhk1
38 days ago
|
|
|
one example of this is type inference. llvm is a statically typed ir, so if you're compiling to it from a language with an expressive type system (dynamically typed or statically typed with generics), you need to do your type inference pre llvm. |
|
|