MPLLang / mpl

The MaPLe compiler for efficient and scalable parallel functional programming
Other
306 stars 18 forks source link

Crash when compiling quickhull with the hybrid-sched-decentralize branch #179

Closed athas closed 7 months ago

athas commented 8 months ago

Compiling this program with the command

mpl -mlb-path-var 'COMPAT mpl' pure-quickhull.mlb

fails with the error

MLton [mpl] ???????? raised: Fail: SplitTypes.transform.conTycon: dummy_0 in val global_0: choice_status_0 = con dummy_0 in Globals

This does not happen when using the master branch.

MatthewFluet commented 8 months ago

The hybrid-sched-decentralize branch must have branched before ba59f033.

shwestrick commented 8 months ago

I've been compiling with -disable-pass splitTypes1 -disable-pass splitTypes2 on this branch for now.

shwestrick commented 7 months ago

Closing this now; as of 2bf43c8 both splitTypes1 and splitTypes2 are disabled by default in branch hybrid-sched