changeset | 22117edf8fd3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | After a tricky debugging session, limit visibility of type-class instances from anonymous modules |
files |
changeset | 403f0cc65b9c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | New lessSafeFfi |
files |
changeset | 1aa9629e3a4c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Allow [where con] to descend within submodule structure; open submodule constraints while checking later signature items |
files |
changeset | bb942416bf1c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Remove 'class' declaration; now use 'con' instead |
files |
changeset | 318ba997a149 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Omit unnecessary parens around arrows in pretty-printing |
files |
changeset | 5df85275c0d4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Omit 'Basis.' in pretty-printing constructors, where this is unambiguous |
files |
changeset | 30c0ca20bf59 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Pretty-print tuple types using tuple syntax |
files |
changeset | 05ae68e019b6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Tweak printing of constructor record literals to allow re-parsing by compiler |
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 | c7b9a33c26c8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Hopeful fix for the Great Unification Bug |
files |
changeset | d008c4c43a0a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Flex kinds for type-level tuples; ::_ notation |
files |
changeset | b4480a56cab7 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adam@chlipala.net> |
description | Server-side 'onError' |
files |
changeset | 56bd4a4f6e66 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Some serious bug-fix work to get HTML example to compile; this includes fixing a bug with 'val' patterns in Unnest and the need for more local reduction in Especialize |
files |
changeset | c316ca3c9ec6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Pushing policies through |
files |
changeset | 0657e5adc938 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Convert to task syntax |
files |
changeset | b2311dfb3158 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initializers and setval |
files |
changeset | 7f871c03e3a1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Destructing local let, to the point where demo compiles |
files |
changeset | e2780d2f4afc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Mutual datatypes through Elaborate |
files |
changeset | 8688e01ae469 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | A view query works |
files |
changeset | acb8537f58f0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Stop tracking CSS classes in XML types |
files |
changeset | f152f215a02c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | style declarations |
files |
changeset | d8217b4cb617 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | PRIMARY KEY |
files |
changeset | e6706a1df013 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Track uniqueness sets in table types |
files |
changeset | 70cbdcf5989b |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | UNIQUE constraints |
files |
changeset | 12b73f3c108e |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Switch to TDisjoint from CDisjoint; still need to implement obligation generation at EDisjoint uses |
files |
changeset | 354800878b4d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Kind polymorphism through Explify |
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 | 8998114760c1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | "Hello world" compiles, after replacing type-level fold with map |
files |
changeset | 44958d74c43f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initial conversion to arbitrary-kind classes |
files |
changeset | 1bbcc3345d12 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Map distributivity rule in hnormCon |
files |
changeset | ae03d09043c1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add CutMulti |
files |
changeset | d34834af4512 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cookies through explify |
files |
changeset | f542bc3133dc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Cookies through elaborate |
files |
changeset | 85819353a84f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | First Unnest tests working |
files |
changeset | b77863cd0be2 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating 'let' |
files |
changeset | dfc8c991abd0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Replace 'with' with '++' |
files |
changeset | b85e6ba56618 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Merge CDisjoint and TDisjoint |
files |
changeset | 075b36dbb1a4 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Crud supports INSERT |
files |
changeset | e976b187d73a |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | SQL sequences |
files |
changeset | 9601c717d2f3 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | queryX |
files |
changeset | 42dfb0d61cf0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | 'database' declaration threaded through compiler |
files |
changeset | 71bafe66dbe1 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Laconic -> Ur |
files |
changeset | 2b9dfaffb008 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Transactions and queries, at source level |
files |
changeset | 19e5791923d0 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Resolving lingering type class constraints |
files |
changeset | 0343557355fc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Explifying type classes |
files |
changeset | e86411f647c6 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Initial type class support |
files |
changeset | cc68da3801bc |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Non-star SELECT |
files |
changeset | cb8f69556975 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating 'SELECT *' queries |
files |
changeset | dd82457fda82 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parsing and elaborating 'table' |
files |
changeset | aa54250f58ac |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Parametrized datatypes through explify |
files |
changeset | 8e9f97508f0d |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Datatype representation optimization |
files |
changeset | d11754ffe252 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Compiled pattern matching to C |
files |
changeset | 33d4a8eea484 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Case through explify |
files |
changeset | b2d752455182 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating record patterns |
files |
changeset | 8221b95cc24c |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Patterns for int and string constants |
files |
changeset | c7a6e6dbc318 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Elaborating some basic pattern matching |
files |
changeset | 06a98129b23f |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Add datatype import constructor annotations; datatypes through explify |
files |
changeset | 34ccd7d2bea8 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Start of datatype support |
files |
changeset | 7420fa18d657 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Record cut |
files |
changeset | eb16f2aadbe9 |
---|---|
branch | |
bookmark | |
tag | |
user | Adam Chlipala <adamc@hcoop.net> |
description | Meta-programming forms |
files |