1{- 2 SockeyeBackendIsabelle.hs: Backend for generating Isabelle/HOL for Sockeye 3 4 Part of Sockeye 5 6 Copyright (c) 2018, ETH Zurich. 7 8 All rights reserved. 9 10 This file is distributed under the terms in the attached LICENSE file. 11 If you do not find this file, copies can be found by writing to: 12 ETH Zurich D-INFK, CAB F.78, Universitaetstrasse 6, CH-8092 Zurich, 13 Attn: Systems Group. 14-} 15 16module SockeyeBackendIsabelle 17( compile ) where 18 19import qualified SockeyeSymbolTable as ST 20import qualified SockeyeAST as AST 21 22compile :: ST.Sockeye -> AST.Sockeye -> String 23compile symTable ast = "Isabelle backend not yet implemented" 24