GitLab

Alan Zimmerman pushed to branch wip/az/ghc-cpp at Glasgow Haskell Compiler / GHC

Commits:

652cba7e

by Peng Fan at 2025-05-14T04:24:35-04:00

Add LoongArch NCG support

Not supported before.

c01f4374

by Lin Runze at 2025-05-14T04:24:35-04:00

ci: Add LoongArch64 cross-compile CI for testing

ce6cf240

by Ben Gamari at 2025-05-14T04:25:18-04:00

rts/linker: Don't fail due to RTLD_NOW

In !12264 we started using the NativeObj machinery introduced some time
ago for loading of shared objects. One of the side-effects of this
change is shared objects are now loaded eagerly (i.e. with `RTLD_NOW`).
This is needed by NativeObj to ensure full visibility of the mappings of
the loaded object, which is in turn needed for safe shared object
unloading.

Unfortunately, this change subtly regressed, causing compilation
failures in some programs. Specifically, shared objects which refer to
undefined symbols (e.g. which may be usually provided by either the
executable image or libraries loaded via `dlopen`) will fail to load
with eager binding. This is problematic as GHC loads all package
dependencies while, e.g., evaluating TemplateHaskell splices. This
results in compilation failures in programs depending upon (but not
using at compile-time) packages with undefined symbol references.

To mitigate this NativeObj now first attempts to load an object via
eager binding, reverting to lazy binding (and disabling unloading) on
failure.

See Note [Don't fail due to RTLD_NOW].

Fixes #25943.

88ee8bb5

by Sylvain Henry at 2025-05-14T04:26:15-04:00

Deprecate GHC.JS.Prim.Internal.Build (#23432)

Deprecated as per CLC proposal 329 (https://github.com/haskell/core-libraries-committee/issues/329)

b4ed465b

by Cheng Shao at 2025-05-14T04:26:57-04:00

libffi: update to 3.4.8

Bumps libffi submodule.

a3e71296
by Matthew Pickering at 2025-05-14T04:27:38-04:00
```
Remove leftover trace
```

2d0ecdc6

by Cheng Shao at 2025-05-14T04:28:19-04:00

Revert "ci: re-enable chrome for wasm ghci browser tests"

This reverts commit fee9b351fa5a35d5778d1252789eacaaf5663ae8.
Unfortunately the chrome test jobs may still timeout on certain
runners (e.g. OpenCape) for unknown reasons.

2f63ebb0

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

GHC-CPP: first rough proof of concept

Processes

     #define FOO
     #ifdef FOO
     x = 1
     #endif

Into

    [ITcppIgnored [L loc ITcppDefine]
    ,ITcppIgnored [L loc ITcppIfdef]
    ,ITvarid "x"
    ,ITequal
    ,ITinteger (IL {il_text = SourceText "1", il_neg = False, il_value = 1})
    ,ITcppIgnored [L loc ITcppEndif]
    ,ITeof]

In time, ITcppIgnored will be pushed into a comment

96b5a640

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Tidy up before re-visiting the continuation mechanic

3252d373

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Switch preprocessor to continuation passing style

Proof of concept, needs tidying up

68621389
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Small cleanup
```
6ab7e8b1
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Get rid of some cruft
```

b2718948

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Starting to integrate.

Need to get the pragma recognised and set

12ea9390

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Make cppTokens extend to end of line, and process CPP comments

c911a9ec
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Remove unused ITcppDefined
```

f396e819

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Allow spaces between # and keyword for preprocessor directive

261da91b

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Process CPP continuation lines

They are emited as separate ITcppContinue tokens.
Perhaps the processing should be more like a comment, and keep on
going to the end.
BUT, the last line needs to be slurped as a whole.

036858d6

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Accumulate CPP continuations, process when ready

Can be simplified further, we only need one CPP token

0bdb4532

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Simplify Lexer interface. Only ITcpp

We transfer directive lines through it, then parse them from scratch
in the preprocessor.

e39f243b

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Deal with directive on last line, with no trailing \n

b42886a2
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Start parsing and processing the directives
```
352bc688
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Prepare for processing include files
```

d0b47755

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Move PpState into PreProcess

And initParserState, initPragState too

94bed0ea

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Process nested include files

Also move PpState out of Lexer.x, so it is easy to evolve it in a ghci
session, loading utils/check-cpp/Main.hs

83b00a80
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Split into separate files
```

b405a2d9

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Starting on expression parser.

But it hangs. Time for Text.Parsec.Expr

2418a2a0

by Alan Zimmerman at 2025-05-14T18:19:19+01:00

Start integrating the ghc-cpp work

From https://github.com/alanz/ghc-cpp

22a64399
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
WIP
```
746b22df
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Fixup after rebase
```
c5566266
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
WIP
```
bd1a0f1b
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Fixup after rebase, including all tests pass
```
66987b54
by Alan Zimmerman at 2025-05-14T18:19:19+01:00
```
Change pragma usage to GHC_CPP from GhcCPP
```
d9a2b76d
by Alan Zimmerman at 2025-05-14T18:19:20+01:00
```
Some comments
```
6f3f52c1
by Alan Zimmerman at 2025-05-14T18:19:20+01:00
```
Reformat
```
764cda90
by Alan Zimmerman at 2025-05-14T18:19:20+01:00
```
Delete unused file
```
ea5f32d7
by Alan Zimmerman at 2025-05-14T18:19:20+01:00
```
Rename module Parse to ParsePP
```
1f2ae7ca
by Alan Zimmerman at 2025-05-14T18:19:20+01:00
```
Clarify naming in the parser
```

9633ea57