Mentions légales du service

Skip to content
Snippets Groups Projects
Closed Invalid_argument('Expr.let_rec") in clone declarations
  • View options
  • Invalid_argument('Expr.let_rec") in clone declarations

  • View options
  • Closed Issue created by Raphaël Rieu-Helft

    In a large clone declaration containing val x = y where x is a val constant and y is a let ghost constant , I received the error Invalid_argument("Expr.let_rec"). My attempts to reproduce on smaller examples were not rejected at all.

    Linked items ... 0

  • Activity

    • All activity
    • Comments only
    • History only
    • Newest first
    • Oldest first
    Loading Loading Loading Loading Loading Loading Loading Loading Loading Loading