skate: implementation of declaration table
authorReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 4 May 2017 12:04:42 +0000 (14:04 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Thu, 4 May 2017 12:04:42 +0000 (14:04 +0200)
commitf27d45e8490d8dd01c48835c3c825317e6353e36
tree258f248357c5af2b3ca4cb8ff6c73bef699fc1e7
parent0971f32b969b9d06ec918eb0fb5ccc3988ce1bfa
skate: implementation of declaration table

Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>
tools/skate/SkateDeclarationTable.hs
tools/skate/SkateSchema.hs
tools/skate/SkateTypeTable.hs
tools/skate/SkateTypes.hs