manticore

manticore copied to clipboard

See the comment in `alt-ret-tuple.pml` from the regression suite for details. I'm not sure what's going on actually. Referenced in commit 9ad955a7ed7faca1fc01b548b07e59c396819773

kavon

Large list literals (nucleic)

3

From the nucleic benchmark's TODO, there seems to be an issue with allocating a large list in the heap from a literal. I believe this is a problem regardless of...

kavon

Caught this in the benchmarks directory's parallel `cml-merge` when the message size was set very high. ``` ================== WARNING: ThreadSanitizer: data race (pid=3448) Read of size 8 at 0x7f78c4652ea8 by...

kavon

Accessing to a nested array causes segmentation fault

1

When I write a parallel sorting program, I found that the following code causes segmentation fault both on my mac and linux. ```sml fun copy a b e d j...

uenoB

CPS inliner issue with recursive function being mapped

1

Greetings from Sweden and Chalmers University of Technology! I may have found something when exploring parallel arrays in Manticore. Here is a piece of code that works perfectly fine: ```sml...

SimonAlling

Case simplify produces invalid BOM

1

Seems there's a bug in case simplify? I'm using d5dfda20e063ce4c49f82555121ff95fafae1c76 ``` ➤ ../trunk-pmlc/bin/pmlc -Cbom.check-all=true fib-datatype.pml ***** Bogus BOM in Main after case-simplify ***** ** invalid cast:(_t#2:int) = (int)left#5:any ** invalid...

kavon

Bad 8-bit registers

1

Opening issue related to this bug, since the workaround below was removed from trunk: ```sml (* MLRISC is incorrectly naming some of the 8-bit registers, so as a simple *...

kavon

String literals in assembly file

1

``` ➤ ../bin/pmlc -sequential -mlrisc literal.pml literal.s:2131:9: error: invalid escape sequence (unrecognized character) in '.asciz' directive .asciz "mlrisc\'s string literal bug" ^ error compiling generated assembly code ``` from the...

kavon

There's a CPS eta-reduce pass already written in the `partial_abort_stm` branch, which is run just before eta-expand. It might be worth the effort to pull this optimization over to trunk,...

kavon

The following benchmark program (`seq-mazefun`) executes pretty quickly in `MLton`, but after compiling with Manticore it has runaway memory usage. Of course this causes GC thrashing so the program doesn't...

kavon