Mantis Bugtracker

Erweiterte Problemanzeige Zu Notizen wechseln ] einfache Anzeige ] Problem-Historie ] Drucken ]
ID Kategorie Auswirkung Reproduzierbar Meldungsdatum Letzte Aktualisierung
0000055 [Bolt] general schwerer Fehler immer 2010-01-11 21:24 2010-01-12 20:11
Reporter elehack Anzeigestatus öffentlich  
Bearbeitung durch xclerc
Priorität normal Lösung erledigt Rechnertyp
Status erledigt   Betriebssystem
Projektion keine   BS-Version
Aufwand keine Behoben in Version 1.1 Produktversion
  Zielversion Produkt-Build
Zusammenfassung 0000055: Syntax extension de-parenthesizes first argument
Beschreibung With the Bolt syntax extension, if the first message argument is a function application, Bolt de-parenthesizes it (so it now becomes multiple arguments). This can be seen by processing a source file containing only the following line:

LOG "Hello %d" (succ 1) LEVEL TRACE;;

It produces the following code:

Bolt.Logger.log "Test-log" Bolt.Level.TRACE ~file: "test-log.ml" ~line: 1

  ~column: 0 ~properties: [] ~error: None (Printf.sprintf "Hello %d" succ 1)

which fails to type-check.

Function applications occurring in arguments at later positions are preserved intact.
Schritte zur Reproduktion
Zusätzliche Information
Tags Keine Tags zugeordnet.
Angehängte Dateien

- Problem-Beziehungen

-  Notiz
(0000204)
xclerc (Administrator)
2010-01-12 20:11

Thanks for detecting the problem; a tentative fix has been pushed to the darcs repository.

- Problem-Historie
Änderungsdatum Benutzername Feld Änderung
2010-01-11 21:24 elehack Neues Problem
2010-01-12 20:11 xclerc Problemnotiz hinzugefügt: 0000204
2010-01-12 20:11 xclerc Status neu => erledigt
2010-01-12 20:11 xclerc Behoben in Version => 1.1
2010-01-12 20:11 xclerc Lösung offen => erledigt
2010-01-12 20:11 xclerc Bearbeitung durch => xclerc


Mantis 1.1.7[^]
Copyright © 2000 - 2008 Mantis Group
Powered by Mantis Bugtracker