Mantis - Bolt
Erweiterte Problemanzeige
55 general schwerer Fehler immer 2010-01-11 21:24 2010-01-12 20:11
elehack  
xclerc  
normal  
erledigt  
erledigt  
keine    
keine 1.1  
0000055: Syntax extension de-parenthesizes first argument
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.
Problem-Historie
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

Notiz
(0000204)
xclerc   
2010-01-12 20:11   
Thanks for detecting the problem; a tentative fix has been pushed to the darcs repository.