fogti/yanais
1
0
Fork 0
Code Issues Pull requests Packages Projects Releases Wiki Activity

Commit graph

  • bfb3179de0 rust: don't pull in the old ver of yzstrut main Alain Emilia Anna Zscheile 2024-05-24 23:16:36 +0200
  • f4e8d459d6 rust: lift {,try_}consume_ident into yz-string-utils Alain Emilia Anna Zscheile 2024-05-24 23:15:10 +0200
  • 574dedaf64 rust: first steps at evaluation Alain Emilia Anna Zscheile 2024-05-15 16:51:28 +0200
  • 135f86b05f rust: fix invalid type-infer of natural numbers Alain Emilia Anna Zscheile 2024-05-12 18:48:59 +0200
  • fe65887391 rust: small progress in typechk Alain Emilia Anna Zscheile 2024-05-12 18:45:29 +0200
  • a1b06344c8 rust: cargo upgrade Alain Emilia Anna Zscheile 2024-05-12 18:40:54 +0200
  • 810c74053c rust: fix invalid literal parsing of I256 Alain Emilia Anna Zscheile 2024-05-12 15:24:56 +0200
  • 5d063806ea c: literal -> utils; +layout stuff Alain Emilia Anna Zscheile 2024-05-08 20:53:01 +0200
  • ccc7e36708 c: literal parsing Alain Emilia Anna Zscheile 2024-05-08 20:05:44 +0200
  • b93f23a48e c: split header and fix simple error in parser Alain Emilia Anna Zscheile 2024-05-07 13:46:55 +0200
  • 0f3e280ef9 lexer stuff Alain Emilia Anna Zscheile 2024-05-07 13:24:51 +0200
  • 8bea2da3af +python variant Alain Emilia Anna Zscheile 2024-05-06 13:57:08 +0200
  • 8cba713977 . Alain Emilia Anna Zscheile 2024-05-06 11:40:05 +0200
  • f6eeaa7519 ocaml: simple let case Alain Emilia Anna Zscheile 2024-05-06 15:06:24 +0200
  • a27c71551a ocaml/syntax: +refl Alain Zscheile 2024-02-27 22:29:57 +0100
  • 608ed99478 rust/literal: improve Layout calc + fix edge case Alain Emilia Anna Zscheile 2024-05-04 10:33:01 +0200
  • 99b80a5447 rust: rename repr -> layout Alain Emilia Anna Zscheile 2024-04-29 16:55:39 +0200
  • 55ce72ed75 ocaml: the parser should use Seq.t instead of a list to avoid expensive list mangling Alain Emilia Anna Zscheile 2024-02-26 23:45:31 +0100
  • f283c1c4e7 ocaml/syntax: +Interval type and value literals Alain Emilia Anna Zscheile 2024-02-26 17:21:17 +0100
  • 216e0d1efb ocaml: +syntax/Reporter Alain Emilia Anna Zscheile 2024-02-26 00:11:26 +0100
  • 42afefb5e9 ocaml: actually parse something; fix lambdas Alain Emilia Anna Zscheile 2024-02-25 23:28:58 +0100
  • 484c3dba70 ocaml: support file imports Alain Zscheile 2024-02-25 21:19:51 +0100
  • 68839eb9c8 improve EUnexpectedToken; do Lambda parsing Alain Zscheile 2024-02-25 19:21:31 +0100
  • 387a7d4baa ocaml: reform msr stuff Alain Zscheile 2024-02-25 18:48:16 +0100
  • 2bd7b27100 ocaml: port loc_span to Asai.Range.t Alain Emilia Anna Zscheile 2024-02-25 15:08:43 +0100
  • 5e1f6979ea ocaml: merge yanaijepeux Alain Emilia Anna Zscheile 2024-02-25 11:11:34 +0100
  • 6b4eca0614 ocaml/project: add more metadata Alain Emilia Anna Zscheile 2024-02-25 10:17:56 +0100
  • 0765546498 ocaml: store max stack ref for perf Alain Zscheile 2024-02-22 16:15:58 +0100
  • 98b3f087f9 ocaml: +let bindings Alain Zscheile 2024-02-15 20:29:08 +0100
  • 2f23dc491d ocaml: rename syntax.ml -> expr.ml Alain Zscheile 2024-02-15 19:59:57 +0100
  • 892ac5f097 ocaml: +TagGroup Alain Zscheile 2024-02-15 18:16:42 +0100
  • d4fddeb596 ocaml/syntax: split code into more modules Alain Zscheile 2024-02-12 15:09:36 +0100
  • 5152f2bde0 ocaml: start implementing expression parsing Alain Zscheile 2024-02-11 18:59:45 +0100
  • 9b0f719fe2 RefOf [WIP] Alain Zscheile 2023-12-27 13:06:58 +0100
  • 7d853f8f7e ocaml: forbid duplicate identifiers in patterns Alain Zscheile 2024-02-11 15:05:23 +0100
  • a084d9ceb8 ocaml: pattern parsing Alain Zscheile 2024-02-11 14:41:04 +0100
  • 65c82283fc ocaml: record parsing Alain Zscheile 2024-02-11 14:24:29 +0100
  • 0b206bcdbc ocaml: convert lexer token stream to list (needed to prevent file re-scanning) Alain Zscheile 2024-02-11 12:57:25 +0100
  • d5ff4964da ocaml: basic locale stuff Alain Zscheile 2024-02-11 02:13:54 +0100
  • 6d0f18ee67 ocaml: complete the lexer Alain Zscheile 2024-02-11 00:35:07 +0100
  • 8f8a4b883e ocaml: restructuring Alain Zscheile 2024-02-10 23:06:59 +0100
  • ef3977ddca ocaml: a lexer Alain Zscheile 2024-02-10 03:39:07 +0100
  • d7354de720 ocaml: add literal and layout stuff Alain Zscheile 2024-02-09 22:19:55 +0100
  • 9c52af5c27 start working on ocaml stuff Alain Zscheile 2024-02-09 20:24:39 +0100
  • a75ebf8c46 TODO: parse escape codes Alain Zscheile 2023-12-24 01:34:12 +0100
  • 3f609ccc40 rust/syntax: explicit binds for lambda types Alain Zscheile 2023-11-06 21:26:11 +0100
  • 8e5c8f697f rust/typeck: just store the closure for lambdas Alain Zscheile 2023-11-06 21:18:20 +0100
  • b99ff62ea2 . Alain Zscheile 2023-11-03 20:30:41 +0100
  • f098db4e9c rust: implement expression parsing Alain Zscheile 2023-11-03 20:22:47 +0100
  • b2c7935968 rust: get rid of parsing trait parameters Alain Zscheile 2023-11-03 18:57:52 +0100
  • 468474fcb2 . Alain Zscheile 2023-11-03 18:50:58 +0100
  • 09580d4998 rust: parsing of literals Alain Zscheile 2023-11-03 15:54:42 +0100
  • 1f2329ab5f rust: split stuff into more crates Alain Zscheile 2023-11-03 15:37:04 +0100
  • ab931de08f rust: 'official' yanais record and pattern syntax Alain Zscheile 2023-11-03 15:28:03 +0100
  • adc5e07bfd rust: better lazy types for lambdas Alain Zscheile 2023-11-03 15:16:54 +0100
  • a3e1609654 rust: move syntax/AST stuff into separate crate Alain Zscheile 2023-11-02 01:10:09 +0100
  • 32b9fd4039 add summary documentation (still a bit WIP) Alain Zscheile 2023-10-31 22:26:08 +0100
  • e6cda8b525 rust: run clippy Alain Zscheile 2023-10-31 15:12:58 +0100
  • 0d07940cc1 rust: egraph: +RefTyDerive Alain Zscheile 2023-10-31 15:08:36 +0100
  • 17409813a5 rust: correctly strip heads on application Alain Zscheile 2023-10-31 14:43:43 +0100
  • f423f2092b rust: combine deep-cloning with substitution, otherwise we would iterate the graph twice Alain Zscheile 2023-10-31 14:35:02 +0100
  • a49f930eb1 rust: add references to egraph Alain Zscheile 2023-10-31 02:53:28 +0100
  • 465af72b1a rust: use a loop when forcing expressions Alain Zscheile 2023-10-31 02:37:54 +0100
  • 69511b04ae rust: implement Layout and expression graph Alain Zscheile 2023-10-31 01:39:07 +0100
  • 172ff10663 rust: move mrwy57u's record into core Alain Zscheile 2023-10-30 20:12:15 +0100
  • 5b6d126e28 rust: keywords should be a trait parameter Alain Zscheile 2023-10-30 20:02:35 +0100
  • 1360293675 rename yn-utils to yanais-core and move lexer into it Alain Zscheile 2023-10-30 19:23:27 +0100
  • 85d410d2cf [WIP] try01 Alain Zscheile 2023-10-29 19:14:58 +0100
  • f87a8ede9b haskell: + Administrative normal form Alain Zscheile 2023-10-28 23:24:27 +0200
  • 02acd9e583 haskell: merge inferrable and checkable types Alain Zscheile 2023-10-28 21:46:19 +0200
  • ec45a765d7 haskell: report value evaluation errors Alain Zscheile 2023-10-28 13:28:12 +0200
  • 312e9e2d79 haskell: some type-checking, kinda... Alain Zscheile 2023-10-28 00:17:26 +0200
  • c2006152f5 haskell: add stuff for references and a hack for quote Alain Zscheile 2023-10-27 21:59:40 +0200
  • f3d3ed3e7f haskell/nfker7h: basic AST stuff Alain Zscheile 2023-10-27 18:07:07 +0200
  • c2df05f568 haskell: add Parser.List.takeWhile Alain Zscheile 2023-10-27 16:03:06 +0200
  • cf0092b5ca haskell: split out core library Alain Zscheile 2023-10-26 12:53:14 +0200
  • c0ccf3d05b haskell: use Semigroup in ParserError Alain Zscheile 2023-10-26 12:41:08 +0200
  • ac71ebd9b9 haskell: split generic parser into generic and bytestring-specific parts Alain Zscheile 2023-10-26 01:18:03 +0200
  • 926176eafd haskell: use Numeric.Natural (we know that our numbers are unsiged) Alain Zscheile 2023-10-26 00:44:52 +0200
  • 65f2f50a9b haskell: parse Integers Alain Zscheile 2023-10-26 00:08:20 +0200
  • 87a72c019f haskell: tryOne should actually backtrack on failure Alain Zscheile 2023-10-25 22:36:35 +0200
  • 9b6229f9fd haskell: merge lookup of symbols and identifier prefixes Alain Zscheile 2023-10-25 22:18:47 +0200
  • 31c6f1a717 haskell: streamline some stuff Alain Zscheile 2023-10-25 21:43:18 +0200
  • b1531384ef get rid of eitherToParser Alain Zscheile 2023-10-25 21:06:40 +0200
  • 48257099de haskell: make error handling in the Parser monad easier Alain Zscheile 2023-10-25 21:03:35 +0200
  • 41db2b8139 haskell: handle unicode decoding errors properly Alain Zscheile 2023-10-25 20:28:55 +0200
  • 9785fdd5f4 fix identifier corruption during formatting Alain Zscheile 2023-10-25 16:33:14 +0200
  • ce9e5ee3cd improve identifying re-encoding... Alain Zscheile 2023-10-25 16:28:46 +0200
  • 068538e0b8 fix comment parsing and somewhat ident printing Alain Zscheile 2023-10-25 16:10:15 +0200
  • 1aca8abb46 haskell: lexer compiles Alain Zscheile 2023-10-25 15:38:55 +0200
  • 92333d0710 haskell: make boilerplate more usable Alain Zscheile 2023-10-25 13:06:35 +0200
  • 356628c959 haskell: some docs and other misc improvements Alain Zscheile 2023-10-25 12:35:07 +0200
  • 5c1445df99 haskell: move stuff into the generic lib Alain Zscheile 2023-10-24 22:40:27 +0200
  • 90bb033e19 haskell: more parsing Alain Zscheile 2023-10-24 22:21:23 +0200
  • 8942de9c81 rust/qwlum2s: yet another rust variant Alain Zscheile 2023-10-24 22:08:57 +0200
  • 093d7dcb0b the haskell stuff makes some progress (parsing of identifiers) Alain Zscheile 2023-10-24 22:08:10 +0200
  • e21bb48b63 haskell: some abstractions compile Alain Zscheile 2023-10-24 15:22:59 +0200
  • 0391cbcfab haskell: WIP Alain Zscheile 2023-10-24 11:25:25 +0200
  • 2a7f16c99e rust/mrwy57u: proper selection Alain Zscheile 2023-10-24 00:02:27 +0200
  • 3d35fa98ae mrwy57u: some more Alain Zscheile 2023-10-16 04:39:22 +0200