Gabriel Scherer
|
1cd6e4451f
|
Map.filter_map and Set.filter_map
|
2020-03-31 15:01:41 +02:00 |
David Allsopp
|
b5d1929e87
|
Whitespace and overlong line fixes.
|
2018-06-14 15:15:34 +01:00 |
Pierre Chambart
|
cb81cc6fe2
|
Declare record type for flambda function parameters (#1028)
|
2017-03-16 10:40:47 +00:00 |
|
Pierre Chambart
|
e1980b3ba5
|
Fix importing of missing set of closures bug (#1019)
|
2017-02-15 11:42:42 +00:00 |
Pierre Chambart
|
c069645dac
|
Add Identifiable.Map.transpose_key_and_data_set
|
2016-12-14 13:14:21 +00:00 |
alainfrisch
|
502e4f9336
|
More warnings when compiling the compiler.
|
2016-03-15 22:46:35 +01:00 |
Damien Doligez
|
5401ce8473
|
Update headers for the new license.
Remains to be done: remove all headers in testsuite/tests.
|
2016-02-18 16:59:16 +01:00 |
Mark Shinwell
|
a397511031
|
Import latest Flambda changes
|
2016-02-09 09:59:26 +01:00 |
|
Mark Shinwell
|
28994d76df
|
Use stdlib Map.union
|
2016-01-12 13:50:47 +01:00 |
|
Mark Shinwell
|
895f853ada
|
Use stdlib Map.union
|
2016-01-12 13:49:41 +01:00 |
|
Mark Shinwell
|
bfdb3c3a82
|
Copyright headers
|
2016-01-12 13:32:04 +01:00 |
Mark Shinwell
|
f394564620
|
Fix header
|
2015-12-18 17:02:39 +00:00 |
|
Mark Shinwell
|
a972d4df72
|
Fix Makefiles
|
2015-12-18 17:00:46 +00:00 |
|
Mark Shinwell
|
14f68921c3
|
Add files
|
2015-12-18 16:52:14 +00:00 |