~thon/thon

ref: d1bc6452d17c2fa4150c5bf7a489789f0f802866 thon/elaborate.sml -rw-r--r-- 261 bytes
d1bc6452Evan Bergeron Deprecate debruijin indexes in type literals 1 year, 18 days ago
                                                                                
1
2
3
4
5
6
7
8
9
10
11
structure Elaborate : sig
              val elaborate : Ast.exp -> Ast.exp
          end =
struct
fun elaborate ast =
    let
        val datatypeNameToType = HashTable.mkTable (HashString.hashString, op=) (42, Fail "not found");
    in
        ast
    end
end