summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Fix array type emission.David Thompson2023-06-081-4/+14
* Rename struct predicate.David Thompson2023-06-081-8/+8
* Add array references.David Thompson2023-06-081-14/+134
* Even more renaming.David Thompson2023-06-081-40/+40
* More renaming.David Thompson2023-06-081-44/+44
* Remove (var ...) intermediate form.David Thompson2023-06-081-16/+11
* Fix top level type env creation.David Thompson2023-06-081-124/+108
* Some renaming.David Thompson2023-06-081-182/+179
* Add struct types.David Thompson2023-06-081-114/+283
* A little clean up and organization.David Thompson2023-06-081-52/+29
* Define lots of built-in types and fix outputs form.David Thompson2023-06-081-207/+190
* Emitting overloaded functions seems to work!David Thompson2023-06-081-9/+15
* Fix predicate eval bug.David Thompson2023-06-081-1/+4
* Overload resolution that almost works.David Thompson2023-06-081-20/+76
* Improve predicate composition and evaluation.David Thompson2023-06-081-100/+260
* Infer all possible forms.David Thompson2023-06-081-22/+111
* Qualified types that mostly work.David Thompson2023-06-081-632/+693
* Misc. tweaks.David Thompson2023-06-081-17/+36
* Fix hoisting.David Thompson2023-06-081-7/+26
* A char is not a valid GLSL immediate.David Thompson2023-06-081-1/+0
* Add exception type for type errors.David Thompson2023-06-081-3/+19
* Add case/cond.David Thompson2023-06-081-16/+67
* Add and/or.David Thompson2023-06-081-0/+18
* Re-organize a bit.David Thompson2023-06-081-85/+85
* Update some comments.David Thompson2023-06-081-10/+13
* Add start of vertex/fragment shader distinction.David Thompson2023-06-081-149/+167
* Shader outputs.David Thompson2023-06-081-48/+186
* top-level inputs/uniforms.David Thompson2023-06-081-15/+75
* Fix more inference bugs.David Thompson2023-06-081-5/+17
* Fix call annotation for multi-value functions.David Thompson2023-06-081-1/+3
* Partial multi-value return support.David Thompson2023-06-081-2/+42
* Overload vec3/vec4 constructors.David Thompson2023-06-081-4/+20
* Add support for more primitives.David Thompson2023-06-081-46/+129
* Use continuation-passing style to get overloads working.David Thompson2023-06-081-162/+225
* Add to Makefile.am.David Thompson2023-06-081-1/+1
* Fix inference for top-level.David Thompson2023-06-081-12/+4
* Remove a bunch of cruft.David Thompson2023-06-081-353/+34
* A lot of garbage.David Thompson2023-06-081-42/+462
* Update feature list.David Thompson2023-06-081-4/+4
* Constant propagation and partial evaluation.David Thompson2023-06-081-0/+99
* Allow - and / to be n-ary.David Thompson2023-06-081-0/+31
* Allow + and * to be n-ary.David Thompson2023-06-081-0/+18
* Better GLSL emission.David Thompson2023-06-081-146/+189
* GLSL emissionDavid Thompson2023-06-081-6/+122
* Add unification pass.David Thompson2023-06-081-89/+268
* Add type annotation pass.David Thompson2023-06-081-5/+376
* Add function hoisting and redo free variable analysis.David Thompson2023-06-081-58/+120
* Add macro expansion and free variable annotation.David Thompson2023-06-081-14/+239
* Add skeleton of Seagull compiler.David Thompson2023-06-081-0/+115
* intersection types.David Thompson2023-06-081-6/+37