Lua: Eliminate check for Word.wordSize

minoki · minoki · commit e8b2f628eb76 · 2025-09-15T17:58:39.000+09:00
diff --git a/lib/lunarml/ml/basis/lua/word.sml b/lib/lunarml/ml/basis/lua/word.sml
@@ -329,10 +329,12 @@ local
     val fromLargeWord = fromLarge
     end
     structure LargeWord = Word64
+    (*
     val () = if Word.wordSize <> 64 then
                  raise Fail "Word64 is not available"
              else
                  ()
+    *)
     fun wordToWord8 x = Word.andb (x, Word8.FULL)
     fun wordToWord16 x = Word.andb (x, Word16.FULL)
     fun wordToWord32 x = Word.andb (x, Word32.FULL)
