Re: Internal compiler error

[Alice Osako]

Alice Osako:

>       
>       I also get a similar ICE in
>         Dictionary.mod (https://github.com/m2sf/m2pp/blob/master/src/imp/Dictionary.mod):
>     
    
    My bad, I noticed earlier
      that the up-to-date version of Dictionary.mod (which is the one I
      got this error with, though both versions had the same ICE) is
      currently at 
      
      https://github.com/m2sf/m2pp/blob/master/src/Dictionary.mod