Commit graph

  • 75fa232e21 No more warnings, but everything to do with datatypes is outcommented. Samuel Hammersberg 2023-03-23 21:35:52 +01:00
  • 6cbc83c5d9 Fixed a miss. Samuel Hammersberg 2023-03-23 20:22:36 +01:00
  • c85010a8a1 Fixed ExpT Samuel Hammersberg 2023-03-23 20:20:17 +01:00
  • c6e8305215 created dummy monomorphizer sebastianselander 2023-03-23 18:15:25 +01:00
  • c19f821892 Switched around EId. Samuel Hammersberg 2023-03-23 17:54:41 +01:00
  • e283e83486 Fixed some reexports. Samuel Hammersberg 2023-03-23 17:49:37 +01:00
  • e3df4192bb created dummy monomorphizer sebastianselander 2023-03-23 17:20:19 +01:00
  • 42c8ebc7b6 Making progress towards finished product sebastianselander 2023-03-23 16:49:49 +01:00
  • d3d173eb59 Merge remote-tracking branch 'origin/typechecking-merge' into pattern-matching-with-typechecking Samuel Hammersberg 2023-03-23 16:33:05 +01:00
  • bf0064db86 Added the trait ToIr. Samuel Hammersberg 2023-03-23 16:13:59 +01:00
  • 519ed8af6c Added monadic fail to renamer sebastianselander 2023-03-23 16:06:09 +01:00
  • 129a70e051 WIP Added support for more types of cases. Samuel Hammersberg 2023-03-23 15:29:25 +01:00
  • 7fa677e3d3 typechecker working, still unsure of quality sebastianselander 2023-03-23 14:18:23 +01:00
  • e745593d94 Testing vector indexing Victor Olin 2023-03-23 13:32:24 +01:00
  • fb4cd8eb9b Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-03-23 13:26:32 +01:00
  • 858c4102be Added direct indexing valtermiari 2023-03-23 13:26:26 +01:00
  • 7ea2e2733f Moved Heap::the for safe compilation Victor Olin 2023-03-23 13:09:50 +01:00
  • 501f319834 Proper singleton implementation Victor Olin 2023-03-23 12:49:47 +01:00
  • 8d1330ad42 typechecker is compatible with one extra addition to the spec sebastianselander 2023-03-23 11:13:48 +01:00
  • cb0c3717fe More documentation Victor Olin 2023-03-23 11:11:43 +01:00
  • 3335ab7a57 compatible, EId rule for parsing is not working, testing not done yet sebastian 2023-03-22 21:26:14 +01:00
  • 914855e20f working on adapting the typechecker sebastianselander 2023-03-22 17:52:39 +01:00
  • 43396b50cd More documentation Victor Olin 2023-03-22 13:58:27 +01:00
  • 936cb1301f new grammar and adapted renamer sebastianselander 2023-03-22 12:45:51 +01:00
  • f9932ce527 Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-03-22 12:02:21 +01:00
  • 8414703fe6 Complexity analysis to algorithms used in collect valtermiari 2023-03-22 12:02:16 +01:00
  • cd85297b85 Removed the ear operator. Samuel Hammersberg 2023-03-22 11:48:40 +01:00
  • 61c844a255 Revamped getNewVar Samuel Hammersberg 2023-03-22 11:46:07 +01:00
  • feeef18cfd Started implementing pattern matching on data types. Samuel Hammersberg 2023-03-22 11:41:02 +01:00
  • ad29cc5ee5 Quick reference guide and runtime errors. Victor Olin 2023-03-22 11:18:30 +01:00
  • 88a4a934b8 added more manual tests sebastianselander 2023-03-22 10:32:22 +01:00
  • d36370329e Realized that getelementptr might be doing to right thing, and that the uninitialized data comes from padding. Samuel Hammersberg 2023-03-22 10:24:00 +01:00
  • 24007313cb added shadowing for ECase in Renamer sebastianselander 2023-03-22 10:10:11 +01:00
  • 33b69a1895 Improved formatting sebastian 2023-03-21 22:07:21 +01:00
  • 57fe8cd0a6 Fixed larger bug sebastian 2023-03-21 22:02:28 +01:00
  • 87dc0fef2d Comments Victor Olin 2023-03-21 17:35:33 +01:00
  • 8f151b7531 Monomorphization of function applications should work Rakarake 2023-03-21 17:15:15 +01:00
  • 509de4415e progress on fixing bugs sebastianselander 2023-03-21 17:09:03 +01:00
  • 7105c570d9 Code cleanup Victor Olin 2023-03-21 17:06:10 +01:00
  • 71d07ebf0f Fixed some internal errors Rakarake 2023-03-21 15:59:47 +01:00
  • 3026a96eb7 added todo for class sebastian 2023-03-21 14:51:06 +01:00
  • 4c015a4aac initial pattern matching implementation. should be somewhat correct sebastian 2023-03-21 14:33:18 +01:00
  • 8081bc5d67 Minor changes Victor Olin 2023-03-21 14:31:40 +01:00
  • edeff09e86 Started skeleton for accurate GC valtermiari 2023-03-21 13:11:58 +01:00
  • 75fb24e369 Fixed GC static library Victor Olin 2023-03-21 13:09:14 +01:00
  • ae34c494f5 Improved the visibility checkup a little bit. Samuel Hammersberg 2023-03-21 10:14:00 +01:00
  • 91816abfe6 Constructors are now seen as global functions. Samuel Hammersberg 2023-03-21 10:11:02 +01:00
  • bbf7a47e74 Started updating the Code Generator to the new monomorphizer tree. Samuel Hammersberg 2023-03-21 09:39:05 +01:00
  • 9cd2cdb511 continued work on pattern matching v2 sebastianselander 2023-03-20 17:40:09 +01:00
  • bba6afeff8 Bugfix caused new bug, bugfix 2 Victor Olin 2023-03-20 17:24:27 +01:00
  • 4bf1fd7610 Fixed lost chunks in free_overlap Victor Olin 2023-03-20 13:59:19 +01:00
  • ffdffc475d Fixed ABS_PATH for profiler Victor Olin 2023-03-20 13:24:14 +01:00
  • fcae79ce0b Profiler probably finished Victor Olin 2023-03-20 10:48:18 +01:00
  • 91f241dba2 Some spring cleaning Victor Olin 2023-03-19 15:16:41 +01:00
  • 78ccade17d Fixed bug in sweep and updated tests valtermiari 2023-03-17 11:45:32 +01:00
  • ce714db3f1 Some improvments to Game test valtermiari 2023-03-16 17:06:44 +01:00
  • 6840297c08 Fixed some bugs and modifications to mark valtermiari 2023-03-15 18:03:08 +01:00
  • ec95e0d9ef Monomorphizer cleanup Rakarake 2023-03-12 17:53:46 +01:00
  • e2db863c3e Fixed name clashes Rakarake 2023-03-10 17:24:03 +01:00
  • 96c4a2bddf Added test of multiple instanciations of same polymorphic function Rakarake 2023-03-10 17:20:23 +01:00
  • c3ea343d00 unified top level type with expression type sebastianselander 2023-03-10 16:54:29 +01:00
  • 02c9ae0ab4 Game test! Victor Olin 2023-03-10 11:08:15 +01:00
  • 24daa73a39 Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-03-10 09:32:27 +01:00
  • 420b504016 Started on a larger test valtermiari 2023-03-10 09:32:22 +01:00
  • 51765f4d0c Work on the profiler Victor Olin 2023-03-10 09:24:32 +01:00
  • 224a165715 Unique names of new binds with different types Rakarake 2023-03-09 18:52:35 +01:00
  • f10919ac20 Better tests Rakarake 2023-03-09 18:32:00 +01:00
  • 0e20670343 Added check for recursive calls Rakarake 2023-03-08 17:52:41 +01:00
  • d377ded7e1 Deleted bad sample programs, added polymorphic call in polymorphic function test Rakarake 2023-03-08 17:38:50 +01:00
  • cdc802476d Code cleanup Victor Olin 2023-03-08 16:47:34 +01:00
  • 62724964d7 fixed Maybe ('a -> 'a) bug. Pattern matching still wonky, will have to redo sebastian 2023-03-08 15:22:42 +01:00
  • 7bb64c0489 Profiler work Victor Olin 2023-03-08 15:04:12 +01:00
  • 350cd3b0e9 Started importing Sebastian's new typechecker. Samuel Hammersberg 2023-03-08 11:01:07 +01:00
  • d5dd7896d8 Moved modules into a proper folder structure. Samuel Hammersberg 2023-03-08 10:35:07 +01:00
  • ac0ac2dac7 Removed a few imports. Samuel Hammersberg 2023-03-08 10:27:39 +01:00
  • 2af00da482 Renamed the compile function to generate code Samuel Hammersberg 2023-03-08 10:25:53 +01:00
  • 832efbcdd8 Gave the code generator a proper module name. Samuel Hammersberg 2023-03-08 10:24:52 +01:00
  • bff75bb00b Switched an Int to Integer. Samuel Hammersberg 2023-03-08 10:22:21 +01:00
  • 63f9689f38 Simple polymorphic and monomorphic functions properly morphed in test demo. Rakarake 2023-03-07 18:49:21 +01:00
  • 887c3b8391 Working on bugs Rakarake 2023-03-07 16:42:56 +01:00
  • fce54e7899 documented possible bad functions sebastianselander 2023-03-06 16:41:59 +01:00
  • eef6fa7668 added new test and found another bug sebastianselander 2023-03-06 16:25:03 +01:00
  • 6947614fba Updated bug list & started working on more tests sebastianselander 2023-03-06 13:04:07 +01:00
  • 0d376171c8 Continued work on profiler Victor Olin 2023-03-06 11:59:28 +01:00
  • f5b5f11903 fixed formatting sebastianselander 2023-03-06 11:38:25 +01:00
  • 9c2f52f8bb fixed bug where bound variable didn't exist in case sebastianselander 2023-03-06 11:27:17 +01:00
  • 8ca876a101 Most code written, no tests yet Rakarake 2023-03-06 10:47:52 +01:00
  • 778fec3dc4 Implemented potential fix for one of the bugs sebastianselander 2023-03-05 14:34:39 +01:00
  • fe63fa6215 Improved error message and created document for known bugs. sebastianselander 2023-03-05 13:24:56 +01:00
  • fecb71bc07 Found a bug. sebastianselander 2023-03-03 18:17:51 +01:00
  • 03d7080396 pattern matching works? have to test more sebastianselander 2023-03-03 11:46:54 +01:00
  • 7656b46e3f a bit more work on pattern match + case expr sebastian 2023-03-02 22:07:38 +01:00
  • dbc77ec5f3 Progress Rakarake 2023-03-02 18:36:50 +01:00
  • 2401b6437b continued work pattern matching sebastianselander 2023-03-02 16:05:43 +01:00
  • 514d79bd6c Strucute in place, MonomorpherIr module created Rakarake 2023-03-01 13:50:01 +01:00
  • 137687e446 Started working on a custom profiler Victor Olin 2023-02-28 18:44:07 +01:00
  • 4f9aaaf8b4 Started working on a custom profiler Victor Olin 2023-02-28 18:42:07 +01:00
  • 05313652f9 unit tests, started on pattern matching sebastianselander 2023-02-28 17:15:48 +01:00
  • 5e52de10bd Fixed broken tests Victor Olin 2023-02-28 16:01:39 +01:00
  • d23d417ff3
    Update TypeChecker.hs Sebastian Selander 2023-02-27 19:38:45 +01:00