Skip to content

Commit

Permalink
Just delete a bunch of string_append pattern things
Browse files Browse the repository at this point in the history
It's so broken, it's not worth even trying to fix. Right now it just generates invalid
functions for otherwise functional mappings. Instead, turn any match arm

x ^ ... ^ y => <exp>

into

_ => exit()

String mappings have generated a special non-executable effect for a while, so this shouldn't
break anything in practice.

On this plus side, generated string append code represented the majority of generated OCaml
for RISC-V, so this fixes the compilation time issues
  • Loading branch information
Alasdair committed Oct 27, 2023
1 parent e4f9665 commit 91946b0
Showing 1 changed file with 13 additions and 648 deletions.
Loading

0 comments on commit 91946b0

Please sign in to comment.