Permalink
Browse files

a

  • Loading branch information...
1 parent d6977b6 commit 69f4fc2c1c2b5f95bde1c13185c8794b6d3e0c79 @trecouvr committed Aug 16, 2011
Showing with 5 additions and 5 deletions.
  1. +3 −3 src/tablebuilder.opa
  2. +2 −2 src/tools.opa
@@ -118,7 +118,7 @@ TableBuilder = {{
onclick_sort(i_col : int, spec : TableBuilder.spec('row)) : TableBuilder.spec('row) =
Tools.option.perform_default(
(col -> set_sort(i_col, set_reverse(i_col, not(col.sort_reverse), spec))),
- spec,
+ ->spec,
List.get(i_col,spec.columns)
)
@@ -139,10 +139,10 @@ TableBuilder = {{
else
{spec with content = List.sort_with(ord,spec.content)}
),
- spec,
+ ->spec,
col.order
)),
- spec,
+ ->spec,
List.get(spec.sort_active,spec.columns)
)
View
@@ -15,11 +15,11 @@ Tools = {{
option = {{
- perform_default(f : ('o -> 'r), default : 'r, o : option('o)) : 'r =
+ perform_default(f : ('o -> 'r), default : (->'r), o : option('o)) : 'r =
if Option.is_some(o) then
f(Option.get(o))
else
- default
+ default()
}}

0 comments on commit 69f4fc2

Please sign in to comment.