Santiago Cuellar

Could you add support for DW_OP_LLVM_convert (Dwarf op)?

2

Here are other [LLVM-supported Dwarf op's](https://llvm.org/docs/LangRef.html#diexpression) that are currently not recognized by llvm-hs: - DW_OP_LLVM_convert - DW_OP_LLVM_tag_offset - DW_OP_LLVM_entry_value - DW_OP_breg - DW_OP_push_object_address (Reference: [Operands.hs](https://github.com/llvm-hs/llvm-hs/blob/llvm-9/llvm-hs/src/LLVM/Internal/Operand.hs) )

Unsupported Specialized Metadata Nodes.

2

Parsing an `.ll` throws: ``` DecodeException "Unknown subclass id for DINode: MDSubclassID 26" ``` Comparing [LLVM Specialized Metadata Nodes](https://llvm.org/docs/LangRef.html#specialized-metadata-nodes) with llvm-hs supported [Metadata subclasses ](https://github.com/llvm-hs/llvm-hs/blob/3d08076125057e64702c5f4f189852ecae326cdd/llvm-hs/src/LLVM/Internal/Operand.hs#L169), here are the unsupported ones:...

Building LLVM from source looks for the Homebrew Cellar?

1

I built LLVM following the "Building from source" in the README and I get the following error when building my project: ``` ld: warning: directory not found for option '-L/usr/local/Cellar/llvm-9/9.0.1/lib/llvm-9/lib'...

Hi there Your checking function `changes_direction_several_times` is incorrect. Current state ``` def changes_direction_several_times(): directional_changes = [intervals[i+1] - intervals[i] for i in range(len(m) - 2)] if len([x for x in directional_changes...

Any plans on supporting Opening Explorer?

1

Do you have plans to support calls to the [Opening Explorer](https://lichess.org/api#tag/Opening-Explorer), or would you take PRs for it? Seems pretty straightforward forward and I'm surprised is not supported yet.

Alignment doesn't understand QualifiedDo

2

haskell mode does not recognize `QualifiedDo` notation and gets alignment wrong. The following simple example, from the [Qualified Do user guide](https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/qualified_do.html), should align like ``` {-# LANGUAGE QualifiedDo #-} import...

`lean4-mode` is not automatically activated by `.lean` files using README instructions

4

The installation instructions currently state: In your Emacs initialization file, add the path to your local Lean4-Mode repository to the load-path list: ``` (add-to-list 'load-path "~/path/to/lean4-mode") Lean4-Mode should now already...