nushio3 / Paraiso

a Parallel Integration Scheme Organizer for partial differential equations solvers
http://www.paraiso-lang.org/wiki/
BSD 3-Clause "New" or "Revised" License
49 stars 8 forks source link

let Builder take Annotation as its third argument #11

Closed nushio3 closed 12 years ago

nushio3 commented 12 years ago

at the moment, the third argument(annotation) is fixed to be of type () for the Builder.

However, we need to be able to make meaningful annotations from Builder monads.