Code

Fix for #357#358

Code

Merged

jespercockx merged 6 commits intoagda:masteragda/agda2hs:masterfrom jespercockx:issue357jespercockx/agda2hs:issue357Copy head branch name to clipboardSep 19, 2024

+122-18

Commits

Commits on Sep 12, 2024

• [ re agda#357 ] Make Erase type play nice with instance search

  jespercockx

  committed
  ffae44a

• [ re agda#357 ] Wrap result of guard in Erase

  jespercockx

  committed
  1f9ade6

• [ re agda#357 ] Check that we do not compile Level or Size

  jespercockx

  committed
  7a0550e

• [ re agda#357 ] Add utility function noWriteImports

  jespercockx

  committed
  f663b88

• [ fix agda#357 ] Check that type arguments are valid Haskell types before dropping them

  jespercockx

  committed
  db7f649

Commits on Sep 19, 2024

• [ re agda#357 ] Rewrite \x -> (a -> x) to (->) a and \x -> ((->) x) to (->)

  jespercockx

  committed
  2c9ba29