summaryrefslogtreecommitdiff
path: root/src/monomorphise.ml
AgeCommit message (Expand)Author
2017-08-15Merge remote-tracking branch 'origin/mono-experiments' into experimentsAlasdair Armstrong
2017-08-15Removed Typ_arg_effect - nobody used it and it isn't supported by the backends.Alasdair Armstrong
2017-08-14Some overloaded equality support in monomorphisationBrian Campbell
2017-08-10Experimental removal of existentialsBrian Campbell
2017-07-27P_cons in monomorphisationBrian Campbell
2017-07-27Fix up constructor handling in monomorphisationBrian Campbell
2017-07-27Mirror AST changeBrian Campbell
2017-07-24Remove monomorphisation for old type checkerBrian Campbell
2017-07-14Generalise matching a little in monomorphisationBrian Campbell
2017-07-13Couple of fixes for old-tc monomorphisationBrian Campbell
2017-07-10Reduce functions during constant propagation under reasonable circumstancesBrian Campbell
2017-07-10Support some variable patterns in monomorphisationBrian Campbell
2017-07-07Warn when we can't monomorphise a constructor applicationBrian Campbell
2017-07-07Correct variable mapping when splitting constructor patterns for monomorphisa...Brian Campbell
2017-07-07Implement basic monomorphisation of constructorsBrian Campbell
2017-06-30Split bit patterns for monomorphisation, do equality checksBrian Campbell
2017-06-29Propagate type information from reducing case expressionsBrian Campbell
2017-06-28Reduce simple enumeration cases during monomorphisationBrian Campbell
2017-06-23Get rid of bogus singleton pattern warningsBrian Campbell
2017-06-23Basic constant propagation for partial monomorphisationBrian Campbell
2017-06-22Initial partial monomorphisation workBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-02 18:49:24 +0000