changeset | 799be3911ce3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Monadic bind supports patterns |
files |
changeset | 0bafdfae2ac7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Saving proper environments, to use in displaying nested error messages |
files |
changeset | 6c00d8af6239 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Add a new scoping check for unification variables, to fix a type inference bug |
files |
changeset | e525ad571e15 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Recursive record unification errors, for more detail |
files |
changeset | 3a845f2ce9e9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | :::_ notation; switch to TooDeep error message |
files |
changeset | c7b9a33c26c8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Hopeful fix for the Great Unification Bug |
files |
changeset | 26197c957ad6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Better record summary error messages; more tweaking SQL usability |
files |
changeset | 5d7e05b4a5c0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Better subSgn error locations |
files |
changeset | cb30dd2ba353 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Switch to Maranget's pattern exhaustiveness algorithm |
files |
changeset | 1fb318c17546 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Enhance table sig item support and get demo compiling again |
files |
changeset | 588b9d16b00a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of kind polymorphism, up to the point where demo/hello elaborates with updated Basis/Top |
files |
changeset | 6a0e54400805 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Sum prose |
files |
changeset | 075b36dbb1a4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Crud supports INSERT |
files |
changeset | eec65c11d3e2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | foldTR2 |
files |