tester/src/Parser/Core.hs, branch v0.3.6[no description]Expand list of operator chars to include colon and others2026-08-28T20:54:13+00:00Roman Smržroman.smrz@seznam.cz2026-08-28T20:49:44+00:00ce9bb87a06a440ebb200d2caa7c919805712f0b1
Accept various builtin types in type expressions2026-08-27T21:04:38+00:00Roman Smržroman.smrz@seznam.cz2026-08-27T18:34:57+00:000cbbe31c5f16df73dcc3a73b37cac4a72948f3a6
Remove requirement of primitive type for context2026-08-27T21:04:38+00:00Roman Smržroman.smrz@seznam.cz2026-08-27T16:32:42+00:00d8420a37ffe9e752816b071fced4a972ca1fad23
Use closure instead of failing with ambiguous type for argument types with free variables2026-08-27T21:04:38+00:00Roman Smržroman.smrz@seznam.cz2026-08-26T19:29:08+00:004145e966859dccc5bf7fac1f1c74b3efd8b6b7e9
Refactor test filtering to its own function and type2026-05-24T15:47:37+00:00Roman Smržroman.smrz@seznam.cz2026-05-23T19:45:02+00:00bbf1fd0846fa51f74ef01399ab005d4d847becce
Function arguments unification2026-05-17T19:54:23+00:00Roman Smržroman.smrz@seznam.cz2026-05-16T10:23:41+00:000d2b55b41a8f38264fd510efd4c1306239c94d17
Separate hide/expose expressions for primitive and function types2026-05-16T12:56:30+00:00Roman Smržroman.smrz@seznam.cz2026-05-16T11:47:36+00:00c71d109610ea6f299df09d2b794b326fb70f9ed0
Unification of function and forall types2026-05-09T19:32:38+00:00Roman Smržroman.smrz@seznam.cz2026-05-08T07:31:49+00:005307cfd9de91533ec69e07cafa4d7c0d11481279
Arbitrary type expression as function arguments2026-05-02T18:54:00+00:00Roman Smržroman.smrz@seznam.cz2026-05-01T18:25:20+00:000905fe68591a3dad83f87d5ac805b674c0b88c76
Keep type info in HideType to support non-primitive types2026-04-25T13:22:59+00:00Roman Smržroman.smrz@seznam.cz2026-04-25T11:10:13+00:00a84c4722a3774bb64e3e3616c16264d09c991378