geiser-users
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Geiser-users] [bug #30347] Geiser functions fail inside typed/racket mo


From: Jose Antonio Ortega Ruiz
Subject: [Geiser-users] [bug #30347] Geiser functions fail inside typed/racket modules
Date: Sun, 04 Jul 2010 23:44:12 +0000
User-agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.1.10) Gecko/20100623 Conkeror/0.9.2 (Debian-0.9.2+git100704-~nightlybuild1278194821)

URL:
  <http://savannah.nongnu.org/bugs/?30347>

                 Summary: Geiser functions fail inside typed/racket modules
                 Project: Geiser
            Submitted by: jao
            Submitted on: Sun 04 Jul 2010 11:44:12 PM GMT
                Category: PLT
                Severity: 3 - Normal
                  Status: Confirmed
                 Privacy: Public
             Assigned to: jao
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

If one enters, in the REPL, a module whose language is typed/racket, all
Geiser functions are invalidated by the type checker (and, therefore, they
don't work).

Evaluation in a Racket source buffer still works, though: this bug is only
triggered by putting the REPL in typed mode.




    _______________________________________________________

Reply to this item at:

  <http://savannah.nongnu.org/bugs/?30347>

_______________________________________________
  Message sent via/by Savannah
  http://savannah.nongnu.org/




reply via email to

[Prev in Thread] Current Thread [Next in Thread]