[Top][All Lists]
[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/
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [Geiser-users] [bug #30347] Geiser functions fail inside typed/racket modules,
Jose Antonio Ortega Ruiz <=