search

GaloisInc / llvm-pretty

An llvm pretty printer inspired by the haskell llvm binding
Other
28 stars 15 forks source link

Add lens names "fieldNameLens" using microlens #19

Closed TomMD closed 7 years ago

TomMD commented 7 years ago

Microlens is lens-compatible and has a small fraction of the build cost, suitable for library dependencies assuming the TH dep is OK.

elliottt commented 7 years ago

Looks good! Were you thinking that we should consider doing a release soon?

TomMD commented 7 years ago

Soon but not yet, I think (unless someone else pushes for it). I hope to extract some really basic function that are used both by my work and Crucible (ex: declarationFromDefinition). I'm not sure if these belong in a Text.LLVM.Rewrite module or somewhere else but that's an issue for another day.