Ulf Norell
|
2f212bf556
Add --auto-inline and make it off by default
|
il y a 4 ans |
G. Allais
|
a09aa4e3e3
[ fix #760 ] and other warnings related to useless 'public' (#3984)
|
il y a 5 ans |
Ulf Norell
|
8006398b71
fix std-lib benchmark test case
|
il y a 5 ans |
=
|
1cc377b2d9
Updated to v1.0 of the standard library
|
il y a 5 ans |
Andrés Sicard-Ramírez
|
1771bb2be7
[ std-lib ] Updated subproject commit and required changes.
|
il y a 5 ans |
Guillaume Allais
|
e6d948f836
[ fix ] benchmark relying on std-lib
|
il y a 5 ans |
Andrés Sicard-Ramírez
|
7cdd02ff58
[ fixed benchmarks ] Updated module names.
|
il y a 6 ans |
Matthew Daggitt
|
5f87375232
Updated the standard library to experimental v0.15
|
il y a 6 ans |
Nils Anders Danielsson
|
da1a77c650
Fixed #2909.
|
il y a 6 ans |
gallais
|
7be1e5f1c7
[ update std-lib ] and fix tests / benchmark
|
il y a 7 ans |
gallais
|
3156aefabf
Revert "[ fix #2648 ] new stdlib list membership"
|
il y a 7 ans |
gallais
|
91506761d4
[ fix #2648 ] new stdlib list membership
|
il y a 7 ans |
Nils Anders Danielsson
|
aa93d46c40
Updated benchmark code (the standard library has been changed).
|
il y a 13 ans |
ulfn
|
39fb7d6887
added Data.List.Any.Properties as the benchmark any, also include the new max metas/constraints stats in the summary
|
il y a 13 ans |