Changes between Version 6 and Version 7 of StringRestructuring
- Timestamp:
- 05/07/09 13:18:28 (7 months ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
StringRestructuring
v6 v7 19 19 * Although {{{JavaString}}} is a subtype of {{{String}}}, {{{List⟦JavaString⟧}}} is ''not'' a subtype of {{{List⟦String⟧}}}. This may bite you. For example in 20 20 {{{ 21 #!fss 21 22 x : String 22 23 ... 23 24 x := "hello" 24 25 ... 25 ⟨ x ⟩26 <| x |> 26 27 27 28 }}} … … 29 30 If this matters, the fix is to put an explicit type in the ''List'' constructor, i.e., to write 30 31 {{{ 31 ⟨⟦String⟧ x ⟩ 32 #!fss 33 <|[\String\] x |> 32 34 }}} 33 35 Yes, I know that it's ugly. I believe that static type inference will make this go away. … … 44 46 45 47 {{{ 48 #!fss 46 49 stdOut: Writer 47 50 stdErr: Writer
