Make Reverse and Forward proper structure declarations

kfl · Apr 12, 2017 · 40027b1 · 40027b1
1 parent b604ef2
commit 40027b1
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 0 deletions.
diff --git a/Forward.sml b/Forward.sml
@@ -1,3 +1,5 @@
+structure Forward =
+struct
 local
  datatype Labelled = datatype Expr.Labelled
  fun & e = Expr.unit_elab e
@@ -63,3 +65,4 @@ fun forward xs expr =
  in #2(diffEval expr) end
 
 end
+end
diff --git a/Reverse.sml b/Reverse.sml
@@ -1,3 +1,5 @@
+structure Reverse =
+struct
 local
  datatype Labelled = datatype Expr.Labelled
 in
@@ -150,3 +152,4 @@ fun reverse_imp xs expr =
  end
 
 end
+end