[augeas-devel] [Augeas] #328: Composition has wrong type

Augeas trac at fedorahosted.org
Thu Jan 10 21:15:07 UTC 2013


#328: Composition has wrong type
---------------------+---------------------
 Reporter:  raphink  |       Owner:  lutter
     Type:  defect   |      Status:  new
 Priority:  major    |   Milestone:  next
Component:  Augeas   |     Version:  devel
 Keywords:           |  Blocked By:
 Blocking:           |
---------------------+---------------------
 Using this module:

 {{{
 module Test =
 let rxp (lns:lens) = lens_ctype lns
 let print (re:regexp) = print_regexp re
 let print_rxp = rxp ; print
 let _ = print_rxp Sep.space
 }}}

 returns:

 {{{
 Internal error (please file a bug)
 test.aug:4.16-.27:Composition has type lens -> regexp but should have type
 lens -> unit
 }}}

-- 
Ticket URL: <https://fedorahosted.org/augeas/ticket/328>
Augeas <http://augeas.net/>
a configuration API




More information about the augeas-devel mailing list