Commit 05db984d authored by Julian Kranz's avatar Julian Kranz

Merge branch 'master' of bitbucket.org:simona/gdsl-toolkit into experimental

parents 7558214c 024a5377
......@@ -2011,8 +2011,8 @@ structure SwitchReduce = struct
calcCutOff (newSlack, newLast, max, idx-1)
end
(* including other bits might lead to overlapping patterns later, but it seems ok now *)
val cutOff = if bits<=1 then 0 else (*Array.sub (sorted, bits-1)*)
calcCutOff (0, Array.sub (sorted, bits-1), Array.sub (sorted, bits-1), bits-2)
val cutOff = if bits<=1 then 0 else Array.sub (sorted, bits-1)
(*calcCutOff (0, Array.sub (sorted, bits-1), Array.sub (sorted, bits-1), bits-2)*)
(*val bitPats = List.concat (map (fn p => case p of
VECpat bp => bp
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment