#define FOO int*

[phadej]

#define FOO int*

After #451, we get:

cabal run hs-bindgen -- preprocess -I. -i foo.h
PANIC!: the impossible happened
Please report this as a bug at https://github.com/well-typed/hs-bindgen/issues/
fromMacroType: 'PrimTyTyCon'
CallStack (from HasCallStack):
  panicPure, called at src/HsBindgen/C/Tc/Macro.hs:1165:26 in hs-bindgen-0.1.0-inplace:HsBindgen.C.Tc.Macro

This looks more like a TODO, not sure what's is missing though.

[sheaf]

The problem here is that int* gets reparsed as multiplication of the type int with the empty term, which is ill-kinded and then the macro typechecker code falls over. I will fix.

[sheaf]

In #470 I'm changing the parser slightly so that it fails to parse instead of parsing as "int times empty". We don't want to accept something like:

#define X 3+

However, we do want to accept the example in this ticket. I think the correct way forward is to have two separate macro parsers: one for expressions, and one for types.

[edsko]

This has been implemented.