0000055: Syntax extension de-parenthesizes first argument

Einfache Problemansicht anzeigen [ Zu Notizen wechseln ]

[ erweiterte Anzeige ] [ Problem-Historie ] [ Drucken ]

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

Status

erledigt

Produktversion

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.

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[^]