HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

sadly, fxp needs Word32 ... 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3181 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-10-06 16:33:24 +00:00
parent 22cd693896
commit 902a9a1912
2 changed files with 9 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
lib/fxp/src/Unicode/Chars/charClasses.sml
View File

@ -55,19 +55,19 @@ structure CharClasses : CharClasses =
val op -- = Chars.-
val op || = Chars.orb
val op && = Chars.andb
val op >>> = LargeWord.>>
val op <<< = LargeWord.<<
val op &&& = LargeWord.andb
val op ||| = LargeWord.orb
val op & = Word.andb
val op >>> = Word32.>>
val op <<< = Word32.<<
val op &&& = Word32.andb
val op ||| = Word32.orb
val op & = Word32.andb
val max32 = LargeWord.notb 0wx0
val max32 = Word32.notb 0wx0
(*--------------------------------------------------------------------*)
(* a char class is an array of words, interpreted as bitvectors. *)
(*--------------------------------------------------------------------*)
type MutableClass = LargeWord.word array
type CharClass = LargeWord.word vector
type MutableClass = Word32.word array
type CharClass = Word32.word vector
(*--------------------------------------------------------------------*)
(* each word in a char class holds 32 entries. Thus the for a char c *)

2
lib/fxp/src/Util/intSets.sml
View File

@ -32,7 +32,7 @@ signature IntSets =
structure IntSets : IntSets =
struct
structure W = LargeWord
structure W = Word32
val wordSize = W.wordSize
type IntSet = W.word vector