Matthew Fluet

icon indicating a website link http://www.cs.rit.edu/~mtf icon indicating an email [email protected]

icon company Rochester Institute of Technology icon location Rochester, NY icon location Associate Professor; Dept. of Computer Science; Rochester Institute of Technology

Results 70 comments of Matthew Fluet

Additional `Word` operations

Related to https://github.com/SMLFamily/BasisLibrary/wiki/2016-001-Add-popCount-to-WORD-signature.

Real.toString ignores the sign of zero

It seems that it does so purposefully; the code for `Real.toString` (which uses the `GEN 12` adaptive notation) is at: https://github.com/MLton/mlton/blob/master/basis-library/real/real.sml#L561 The determination of the sign is via `x <...

Building a custom codegen

Adding a new codegen to MLton is a non-trivial task, especially a native one. We currently have only 4 codegens: C, LLVM, x86, and amd64. The amd64 codegen is mostly...

Building a custom codegen

> well, I was planning to make an SML HLLCA, so that's why I asked. Hmm... that's a somewhat different task. And, I'm not sure that MLton would necessarily be...

Building a custom codegen

> > Hmm... that's a somewhat different task. And, I'm not sure that MLton would necessarily be the best SML compiler for such an experiment. > > could you give...

Building a custom codegen

Closing stale/concluded issue.

Build fails with gcc14: `error: assignment to 'Objptr' {aka 'unsigned char *'} from 'int' makes pointer from integer without a cast [-Wint-conversion]`

The former is certainly already fixed: https://github.com/MLton/mlton/commit/3edda85300cd69d894b4dc651278a47007fdad54 I do not observe an error with a C codegen self-compile on Fedora 40 (gcc 14); looking at the generated C code, I...

Build fails with gcc14: `error: assignment to 'Objptr' {aka 'unsigned char *'} from 'int' makes pointer from integer without a cast [-Wint-conversion]`

@barracuda156 Sure, I suppose we could host a ppc build on sourceforge.

Build fails with gcc14: `error: assignment to 'Objptr' {aka 'unsigned char *'} from 'int' makes pointer from integer without a cast [-Wint-conversion]`

Closing stale issue.

Alternative defunctionalisation technique

The `Polyvariance` pass will, essentially, eliminate the case dispatch, because there will be a single variant for the function argument to the duplicated function. We don't try to "force" the...