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 14 issues of Matthew Fluet

Provide an SML implementation of the IntInf_* primitives

4 comment

Resolving issue #59 would eliminate the dependency on GMP for compiled programs that do not use `structure IntInf`. However, there may be programs that use `structure IntInf` in a non-performance...

enhancement
Basis Library

`signature REAL` should not realize `type real` as top-level `real`

Adjust heuristic for fun-decl body placement

2 comment

Don't force "biggish" fun-decl-body expressions onto new line. Fixes #82 While this addresses the main issue raised by #82, it does not exactly replicate the logic of `val` decls. I...

Heuristic for placing fun decl body on separate line

1 comment

The heuristic for determining whether the body of a function declaration is placed on a newline seems rather conservative and can lead to seemingly wasted horizontal space, especially when mixed...