Commit graph

  • ba832ba288 added printTree for monomorphizer sebastianselander 2023-03-28 16:07:39 +02:00
  • cf12c3443d Main had a weird look Rakarake 2023-03-28 15:57:35 +02:00
  • a7401f0ee3 Monomorphizer main fix Rakarake 2023-03-28 15:55:06 +02:00
  • 43a863c153 fixed coerce type error sebastianselander 2023-03-28 15:44:03 +02:00
  • cca2f853ea Added a variable lookup. Samuel Hammersberg 2023-03-28 15:36:08 +02:00
  • 5a70286802 Added a files back. Samuel Hammersberg 2023-03-28 15:35:34 +02:00
  • 7f0dab6dcb adapted changes to work sebastianselander 2023-03-28 15:35:48 +02:00
  • 59d9be87cb Add cases for lambda lifter Martin Fredin 2023-03-28 15:35:01 +02:00
  • 5986e2108e Added c output files to the gitignore Samuel Hammersberg 2023-03-28 15:32:54 +02:00
  • b35c19572f Newer changes Rakarake 2023-03-28 15:26:35 +02:00
  • b1d3e31efd Fixed previously incorrect type equality check, commented code, add test sebastianselander 2023-03-28 14:31:20 +02:00
  • 85f31b129b Yoinked over the garbage collector. Samuel Hammersberg 2023-03-28 14:15:22 +02:00
  • 2aff7a7743 Fixed argumentless constructors being treated as variables. Samuel Hammersberg 2023-03-28 13:50:19 +02:00
  • d7549d421c Fixed a missing dependency. Samuel Hammersberg 2023-03-28 13:49:34 +02:00
  • 66e419efa6 Fixed the unnamed temporary bugs. Samuel Hammersberg 2023-03-28 11:53:25 +02:00
  • 58fe92affe Revert "restructured layout of code a bit" sebastianselander 2023-03-28 10:50:45 +02:00
  • 0639489d28 restructured layout of code a bit sebastianselander 2023-03-28 10:50:05 +02:00
  • 1558c98d10 improved the idea of error messages, still not very clean sebastianselander 2023-03-28 10:46:04 +02:00
  • 54f7d54bf9 fixed EAdd conversion bug in RemoveTEVars sebastianselander 2023-03-28 10:10:26 +02:00
  • 437c193ea8 fixed EAnn sebastianselander 2023-03-28 10:07:30 +02:00
  • 4d3d90c6a3 Added some debug options to the just file. Samuel Hammersberg 2023-03-28 09:48:27 +02:00
  • 0d2fe862e0 fixed bug and additional test sebastian 2023-03-27 23:05:40 +02:00
  • 4b24755b93 cleaned up implementations and added check for duplicate constructors sebastian 2023-03-27 22:38:39 +02:00
  • e1633ea147 small fixed and added qualifiedDo sebastian 2023-03-27 21:16:48 +02:00
  • a38e96a83b Fix Ident print instance Martin Fredin 2023-03-27 20:51:00 +02:00
  • ad2bd645d9 tests are running now sebastian 2023-03-27 20:33:11 +02:00
  • d115efe34b
    Merge pull request #12 from bachelor-group-66-systemf/g-collection Samuel Hammersberg 2023-03-27 20:30:46 +02:00
  • 4a6c72fce0 Removed codegen to compile, type seem to work for newly added example Rakarake 2023-03-27 20:11:49 +02:00
  • 0d23a59f0c Merged into commit not compiling on codegen 😤 Rakarake 2023-03-27 19:14:35 +02:00
  • 506d8733d9 added old tests, still broken sebastianselander 2023-03-27 16:54:10 +02:00
  • 2adc3dceee added old tests sebastianselander 2023-03-27 16:53:29 +02:00
  • d5ce73beae hm is compatible sebastianselander 2023-03-27 16:52:22 +02:00
  • 6e54378327 Fixed errors in tc hm sebastianselander 2023-03-27 16:48:23 +02:00
  • 847ec37117 Fixed the dependency on the Grammar Ident. Samuel Hammersberg 2023-03-27 16:32:48 +02:00
  • 750503063a Fixed the dependency on the Grammar Ident. Samuel Hammersberg 2023-03-27 16:31:47 +02:00
  • 72f4f26078 Fixed the dependency on the Grammar Ident. Samuel Hammersberg 2023-03-27 16:31:30 +02:00
  • db2f8cd197 Fix Codegen Martin Fredin 2023-03-27 16:21:01 +02:00
  • 22783cf817 Removed custom Character in favor of BNFC Char sebastianselander 2023-03-27 16:14:40 +02:00
  • b7be75aa1e Fix TypeCheckerIr Martin Fredin 2023-03-27 16:14:14 +02:00
  • 623c6d1e58 Fixed language.cabal. Samuel Hammersberg 2023-03-27 16:11:33 +02:00
  • 3e9ed4e16b Move files from wrong dir Victor Olin 2023-03-27 16:10:44 +02:00
  • aab75a10f2 fixed justfile sebastianselander 2023-03-27 16:10:13 +02:00
  • 45527abd50 Fix module name Martin Fredin 2023-03-27 16:10:02 +02:00
  • ac3f222753 Add bidirectional type checker, lambda lifter. Martin Fredin 2023-02-18 14:49:33 +01:00
  • 2fa30faa87 renamed stuff sebastianselander 2023-03-27 15:37:58 +02:00
  • aa4a615c28 fixed one bug sebastianselander 2023-03-27 14:44:21 +02:00
  • bd3cf3c3f1 Fixed simple pattern matching. Samuel Hammersberg 2023-03-27 13:40:18 +02:00
  • 582747a997 The created binary is now saved in the output folder. Samuel Hammersberg 2023-03-27 10:07:04 +02:00
  • 5062356cef Fixed broken padding on datatypes. Samuel Hammersberg 2023-03-27 10:05:39 +02:00
  • 91cfb21a35 Almost got a lot of bugs fixed. Samuel Hammersberg 2023-03-26 22:21:44 +02:00
  • 9952eb0279 Fixed the printing of TypeCheckerIr Samuel Hammersberg 2023-03-26 21:10:20 +02:00
  • c37db41431 fixed bug sebastian 2023-03-26 18:52:25 +02:00
  • ccfae19541 Added .crf to every sample-program Samuel Hammersberg 2023-03-26 18:38:07 +02:00
  • 9ea3a3dc56 Added another bug. Samuel Hammersberg 2023-03-26 18:37:55 +02:00
  • ebac869761 Fixed a type error in teh codegen. Samuel Hammersberg 2023-03-26 18:24:12 +02:00
  • 4e92f86d60 added test for bug. experimented with solutions, none found sebastian 2023-03-26 16:57:34 +02:00
  • 2af7855a77 documented 3 bugs sebastian 2023-03-26 14:12:09 +02:00
  • 213741407b small add to Justfile sebastian 2023-03-26 00:41:26 +01:00
  • 2974c10c0c moved tests sebastian 2023-03-26 00:13:10 +01:00
  • d49e2401bf added file suffix and check sebastian 2023-03-26 00:09:47 +01:00
  • ac43af8110 fixed a substitution bug where ap was incorrectly inferred. also added cleaner fresh variables sebastian 2023-03-25 22:40:15 +01:00
  • 975dd34063 Better inference & stuff on pattern matches, added more tests for regression sebastian 2023-03-25 20:43:19 +01:00
  • 88eaa466e4 Nested pattern matching should work correctly, added more tests sebastian 2023-03-25 19:17:46 +01:00
  • 3082444347 fixed bugs potentially. tests are working atleast sebastian 2023-03-25 18:42:11 +01:00
  • 368413515b found incorrectly accepted program. added test sebastian 2023-03-25 12:04:00 +01:00
  • 05333c5689 started on cleaner unit tests sebastian 2023-03-25 00:02:38 +01:00
  • accbd4eea6 dummy monomorphizer complete sebastian 2023-03-24 22:03:43 +01:00
  • 7e246a94e5 Fixed a segfault. Samuel Hammersberg 2023-03-24 19:57:49 +01:00
  • f531afb3ab added comment when codegen ok sebastianselander 2023-03-24 19:04:29 +01:00
  • 2566c53f58 mono adapt sebastianselander 2023-03-24 19:01:33 +01:00
  • 3e31fe0ea5 The compiler now also runs the outputed program. Samuel Hammersberg 2023-03-24 18:52:12 +01:00
  • b08ae7aef1 rewrote unification for data type and variable. could definitely be wrong. have to double check sebastianselander 2023-03-24 18:48:40 +01:00
  • e500c70529 Programs are now actually compiled all the way through. Samuel Hammersberg 2023-03-24 18:46:12 +01:00
  • e0c78f5783 debug for parse tree sebastianselander 2023-03-24 18:32:33 +01:00
  • b4cae11c0d added debug info sebastianselander 2023-03-24 18:26:59 +01:00
  • 23c174607b temp merge Samuel Hammersberg 2023-03-24 18:22:37 +01:00
  • 56ccd793ac more error messages and better unification sebastianselander 2023-03-24 18:21:07 +01:00
  • 867485be12 removed trace sebastianselander 2023-03-24 17:40:57 +01:00
  • 41fc863658 added PEnum sebastianselander 2023-03-24 17:39:10 +01:00
  • d6d0fb7146 Enabled compiling to llvm again. Samuel Hammersberg 2023-03-24 17:29:00 +01:00
  • b1209b3353 Updated the monomorphizer to the new tree. Samuel Hammersberg 2023-03-24 17:13:56 +01:00
  • 3c2cb1a713 new good version works sebastianselander 2023-03-24 17:06:32 +01:00
  • f404acdbad Updated some more changes. Samuel Hammersberg 2023-03-24 17:00:31 +01:00
  • 481667f2d8 added tc as well sebastianselander 2023-03-24 16:10:46 +01:00
  • 38680a4dcb adapted new tree to fuck with samuel sebastianselander 2023-03-24 16:10:25 +01:00
  • 50bea83a18 Got some more stuff working. Samuel Hammersberg 2023-03-24 13:55:06 +01:00
  • f4163bbb7d formatting sebastianselander 2023-03-24 14:56:33 +01:00
  • 35b2aa4a2f Testing works, stack-overflow fixed Victor Olin 2023-03-24 13:41:14 +01:00
  • ce3971cf75 renamed stuff sebastianselander 2023-03-24 12:21:54 +01:00
  • 3f618e77f9 Got most of the codegenerator working. Samuel Hammersberg 2023-03-24 11:55:05 +01:00
  • 32f8a3e8a9 duplicate signatures disallowed sebastianselander 2023-03-24 11:27:19 +01:00
  • aa73f147f0 Remade lets with bind & improvements sebastianselander 2023-03-24 11:21:46 +01:00
  • 3371c3a146 Remade lets with bind & improvements sebastianselander 2023-03-24 11:21:25 +01:00
  • 30a79f34af Added some missing functionality to the dummy monomorphizer. Samuel Hammersberg 2023-03-24 10:57:21 +01:00
  • 5e2f4d464d Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-03-24 10:24:22 +01:00
  • 266010e926 Benchmarking for h_test valtermiari 2023-03-24 10:24:18 +01:00
  • f222c6774f Quick patch for Valter Victor Olin 2023-03-24 09:56:03 +01:00
  • bef7821756 ReaderT rewrite, recursive and cyclic calls should work Rakarake 2023-03-24 00:55:05 +01:00
  • fc60112877 Made binds keep args instead of lambda converting sebastian 2023-03-23 22:07:55 +01:00
  • 0012efabb7 Fixed some more stuff. Samuel Hammersberg 2023-03-23 22:01:40 +01:00