Commit graph

  • 762a6aef9b Fixed codegen bug, added prelude option, created lambda calc sebastianselander 2023-05-08 17:48:29 +02:00
  • c98166392b Fixed desugar and made interpret sebastianselander 2023-05-08 15:13:46 +02:00
  • a14ed7d026 PEnum checks outputted constructors now Rakarake 2023-05-08 15:07:03 +02:00
  • b3b71c0ef7 fixed unused imports and traces in monom Rakarake 2023-05-08 14:58:04 +02:00
  • 560f8f9b2f Hash table lookup for marking valtermiari 2023-05-08 12:03:55 +02:00
  • 3399023e3e Testing table lookup for marking valtermiari 2023-05-08 11:55:56 +02:00
  • 5af9509a5f Fixed prelude and codegen sebastianselander 2023-05-08 11:23:06 +02:00
  • 50566246fe short profiler logs Victor Olin 2023-05-08 11:00:07 +02:00
  • dbc1dc4982 Fix missing import Martin Fredin 2023-05-06 23:51:01 +02:00
  • b5b6d96f77 Remove lambda patterns Martin Fredin 2023-05-06 23:45:27 +02:00
  • 019ed0d45a Merge closures mostly done. Desugaring cases is a problem. Martin Fredin 2023-05-06 23:38:56 +02:00
  • 72e599d5de Add closures and fix lets in monomorphizer Martin Fredin 2023-05-06 22:49:08 +02:00
  • ab87f7fb15 Yoinked a newer GC. Samuel Hammersberg 2023-05-06 12:47:40 +02:00
  • 830d863c70 bugfix Victor Olin 2023-05-06 10:23:09 +02:00
  • a388f480e5 Hooked the GC back in B) Samuel Hammersberg 2023-05-05 18:50:05 +02:00
  • b3ed111099 removed cout bloatware Victor Olin 2023-05-05 17:59:07 +02:00
  • c09da8a8cd now it works ok??? Victor Olin 2023-05-05 17:57:26 +02:00
  • dead9eb75a Pattern matching in lambda added sebastianselander 2023-05-05 16:58:11 +02:00
  • 322286d898 Changed data type check, removed dead code sebastianselander 2023-05-05 16:35:49 +02:00
  • 2f62c017ec Fixed grammar and more peano stuff sebastianselander 2023-05-05 15:42:18 +02:00
  • 7663c7ad4e Squashed commit of the following: sebastianselander 2023-05-05 15:20:55 +02:00
  • 677a200a15 Removed GC, merge it into main to save correct commit history sebastianselander 2023-05-05 15:12:37 +02:00
  • a720b9ffd8 Peano sebastianselander 2023-05-05 15:09:51 +02:00
  • 22d9dd8efa Fixed incorrect constructor name with Gilliam sebastianselander 2023-05-05 14:28:05 +02:00
  • 63fef958a7 Improved prelude sebastianselander 2023-05-05 14:09:54 +02:00
  • 208ff861df Fixed bug in size handling and mark hash valtermiari 2023-05-05 13:16:45 +02:00
  • 7562949909 Finally, bug nr4 fixed Rakarake 2023-05-05 12:24:13 +02:00
  • 513cb34eb5 back to inj sebastianselander 2023-05-05 12:22:36 +02:00
  • 47cbf12cd1 Merge branch 'pattern-matching-with-typechecking' of github.com:bachelor-group-66-systemf/churf into pattern-matching-with-typechecking Rakarake 2023-05-05 11:44:17 +02:00
  • 010ca29ced Fixed wrong name bug -- samuel Rakarake 2023-05-05 11:44:08 +02:00
  • 747de6a34e Renaming symbols in desugar, removed incorrect comment in emits sebastianselander 2023-05-05 11:43:17 +02:00
  • fe25f18eb7 Fixed naming-cons bug in monomorphizer Rakarake 2023-05-05 11:28:40 +02:00
  • 4aa72beccb Add missing clauses. Still broken Martin Fredin 2023-05-05 09:02:10 +02:00
  • 1d551e5874 added alternative better implemenatation of checkBind sebastian 2023-05-05 00:35:48 +02:00
  • 0a588c4e14 Revert AnnForall change Martin Fredin 2023-05-04 23:54:19 +02:00
  • 15025a67f9 removed unused imports sebastian 2023-05-04 23:15:24 +02:00
  • 988d0dbb53 moved stuff sebastian 2023-05-04 23:03:11 +02:00
  • 4f21a58200 more symbols and changed err msg sebastian 2023-05-04 23:00:51 +02:00
  • 0dc06eaf80 Parens removed on types and infix symbols work almost, just need to adapt in LLVM sebastian 2023-05-04 22:50:15 +02:00
  • c309c439cb Fixed bug when freshening types sebastianselander 2023-05-04 21:30:19 +02:00
  • 122bff7436 Sugar has arrived sebastian 2023-05-04 21:29:24 +02:00
  • 0b96f3b7e5 merge Victor Olin 2023-05-04 18:19:58 +02:00
  • a910d5449e rip gc Victor Olin 2023-05-04 18:18:25 +02:00
  • 79b0d37cd1 Merge branch 'g-collection' of https://github.com/bachelor-group-66-systemf/language into g-collection valtermiari 2023-05-04 14:04:47 +02:00
  • 74e02826e6 Added Hash map marking valtermiari 2023-05-04 13:51:53 +02:00
  • c7b76cbbb4 Fixed a bug of repeated application of same function to arguments of differing types. More bufs appeared sebastianselander 2023-05-03 18:56:16 +02:00
  • 5a28f9d909 Bind now does correct subtype check. sebastianselander 2023-05-03 17:59:09 +02:00
  • f8a70b4cf4 Improved error messages sebastianselander 2023-05-03 17:58:50 +02:00
  • 4038f34cc5 Fixed woring order of monomorphization in ECase Rakarake 2023-05-03 15:08:07 +02:00
  • e70eae776a Maybe made lets work in monomorphizer 🙃 Rakarake 2023-05-02 17:25:22 +02:00
  • eba91ec646 The log folder is now created as well. Samuel Hammersberg 2023-05-01 22:50:37 +02:00
  • 22dcbc6a13 Various codegen fixes Samuel Hammersberg 2023-05-01 22:50:22 +02:00
  • 45578a79b1 Merge branch 'pattern-matching-with-typechecking' of github.com:bachelor-group-66-systemf/churf into pattern-matching-with-typechecking Rakarake 2023-05-01 16:14:10 +02:00
  • 59da6d8864 Fixed printing bug in MorbIr, fixed Monomorphizer forgetting to output constructors on EInj Rakarake 2023-05-01 16:14:01 +02:00
  • 0452a30409 Yoinked newer GC. Samuel Hammersberg 2023-05-01 16:01:39 +02:00
  • a4413e55f3 profiler now fixed in wrapper also Victor Olin 2023-05-01 15:58:20 +02:00
  • 1741281fd8 profiler improvement Victor Olin 2023-05-01 15:43:51 +02:00
  • d7ea27e9cd testing testing... Victor Olin 2023-05-01 14:36:44 +02:00
  • 3377879dd0 Small fix in morphBind Rakarake 2023-05-01 11:57:06 +02:00
  • 0af2aac61e Removed some warnings, better internal error Rakarake 2023-05-01 11:53:18 +02:00
  • 6b72d08b94 Commented out customHelperFunctionCuzPoorImplementation as it is not needed with type annotations. Samuel Hammersberg 2023-05-01 11:09:23 +02:00
  • 78af9431b9 Remove clang 11 Martin Fredin 2023-05-01 11:10:47 +02:00
  • 63d805fa13 Uncomment prelude Martin Fredin 2023-05-01 10:55:34 +02:00
  • 0fb13f59fb Remove bad program Martin Fredin 2023-05-01 10:47:07 +02:00
  • 8463dc2887 Small fix to lambda lifter Martin Fredin 2023-04-29 21:58:39 +02:00
  • d7a09a720b Fixed more precise type annotation for monomorphizer sebastianselander 2023-04-29 17:55:18 +02:00
  • a87862a99f Fix sample programs Martin Fredin 2023-04-29 16:02:51 +02:00
  • a2f61ea910 Fix missing pattern synonym Martin Fredin 2023-04-29 15:56:01 +02:00
  • 619242ccaf Fix lambda lifter Martin Fredin 2023-04-29 15:52:37 +02:00
  • df1a5de04a Add module to sort definitions Martin Fredin 2023-04-28 19:45:15 +02:00
  • de03a2cc34 The code generator can now compile without the GC. Samuel Hammersberg 2023-04-28 14:52:47 +02:00
  • f9d28028b5 The GC argument is now passed to the compiler and codegen. Samuel Hammersberg 2023-04-28 14:24:44 +02:00
  • ddffe7913c Added an option to disable the garbage collector (this feature is not implemented fully yet.). Samuel Hammersberg 2023-04-28 14:22:02 +02:00
  • 38b88d36b5 Use throwError instead of error Martin Fredin 2023-04-28 14:20:24 +02:00
  • e8d37c77cb Fixed a typo. Samuel Hammersberg 2023-04-28 14:10:39 +02:00
  • cb619c96a8 Removed a stupid file Samuel Hammersberg 2023-04-28 14:10:22 +02:00
  • 1723796006 renamed and fixed const in prelude sebastianselander 2023-04-28 14:01:05 +02:00
  • b27988b4d8 Add checking for case Martin Fredin 2023-04-28 14:04:47 +02:00
  • 22ffdffa5a Fix pretty printer Martin Fredin 2023-04-27 18:59:16 +02:00
  • 072f2206e6 added const body again sebastianselander 2023-04-28 12:53:29 +02:00
  • e42c775135 Fix prelude Martin Fredin 2023-04-27 17:29:13 +02:00
  • 3729278041 Unreachable branhces are removed, fixed a nasty bug in monomorphizer 😸 Rakarake 2023-04-27 16:44:30 +02:00
  • 46a4d3d252 Fixed a bug with penums Samuel Hammersberg 2023-04-27 16:01:22 +02:00
  • e19c809d5e Merge branch 'pattern-matching-with-typechecking' of github.com:bachelor-group-66-systemf/churf into pattern-matching-with-typechecking Rakarake 2023-04-27 15:09:45 +02:00
  • 509b51d2de No output of wrongly typed cons Rakarake 2023-04-27 15:09:39 +02:00
  • 39d0650115 Fixed a booleans not being outputted as literals. Samuel Hammersberg 2023-04-27 15:06:42 +02:00
  • 579153b679 Merged Rakarake 2023-04-27 14:02:10 +02:00
  • 60e12b622e Using type annotations in case expressions, monomorphizer now handles case expressions without crashing Rakarake 2023-04-27 13:55:54 +02:00
  • d026dca42f Attacked the code generator and added bool support. Samuel Hammersberg 2023-04-27 13:49:00 +02:00
  • 1a21698772 mono fixier sebastianselander 2023-04-27 12:57:36 +02:00
  • 55fd35d661 mono fix sebastianselander 2023-04-27 12:49:29 +02:00
  • e9852079ab bool now lit sebastianselander 2023-04-27 12:43:02 +02:00
  • 8782556603 Fix types in pattersgit add .git add . Martin Fredin 2023-04-27 12:22:20 +02:00
  • fc306d5f25 Fix pattern types Martin Fredin 2023-04-27 11:43:56 +02:00
  • fd418faa5f introduced lt in prelude sebastianselander 2023-04-27 12:18:56 +02:00
  • 2cb8527848 Rename variables Martin Fredin 2023-04-25 23:02:56 +02:00
  • e138cb27ec Simplify pattern matching Martin Fredin 2023-04-25 22:59:33 +02:00
  • 9ffcbf66b9 Added support for running GC profiller. Samuel Hammersberg 2023-04-18 15:28:03 +02:00
  • b5384bf2c3 Fix typo Martin Fredin 2023-04-25 13:22:33 +02:00
  • 2d96a50219 Change name Martin Fredin 2023-04-24 10:47:33 +02:00