Commit Graph

13 Commits

Author SHA1 Message Date
Jaroslav Tulach
81b0fcc3ef
Adding "Warnings note" to suspicious sections in types documentation. (#11775) 2024-12-07 07:50:00 +01:00
Jaroslav Tulach
a664dd9d56
Equality with conversions (#9070) 2024-02-19 17:18:56 +01:00
Jaroslav Tulach
07d58f2c02
DataflowError.withoutTrace shall not store a trace (#8608) 2023-12-24 11:07:32 +01:00
Jaroslav Tulach
30a62b97bb
Runtime checking of ascribed expression types (#7796) 2023-09-14 14:09:41 +02:00
Edward Kmett
0dbbbaad00
Add type system documentation (#3376) 2022-08-15 18:36:03 +03:00
Dmitry Bushev
b7c98333ae
Remove references to dependent types (#3217) 2022-01-10 19:51:51 +03:00
Dmitry Bushev
36694e2496
Restructure the Standard Library (#1245)
Split std-lib into two libraries: Base and Test.
2020-10-29 08:48:48 +03:00
Ara Adkins
f5ffbe8fa7
Add a markdown style guide (#1022) 2020-07-21 13:59:40 +01:00
Ara Adkins
a9c49f20cf
Fix a few minor things in the repo (#986) 2020-07-08 16:10:06 +01:00
Ara Adkins
2f404b7f08
Fix a bug with compiler metadata (#838)
1.  The metadata objects weren't being duplicated when duplicating
    the IR. This meant that the later passes would write metadata
    multiples times into one store (reference), causing wrong
    behaviour at codegen time.
2020-06-16 13:52:11 +01:00
Ara Adkins
dd0f93c328
Add support for writing type signatures (#833)
1.  Adds support for type signature syntax.
2.  Lifts the type operators into metdata.
3.  Uses the signatures to determine arg suspension.
2020-06-15 17:45:14 +01:00
Ara Adkins
2e0578d1b3
Clarify the syntax for type operators (#811) 2020-06-05 13:26:16 +01:00
Ara Adkins
d2f93488b3
Restructure the developer documentation (#751) 2020-05-15 11:41:26 +01:00