1%include polycode.fmt 2 3%if false 4 Error: DSL for error definition 5 6 Copyright (c) 2009 ETH Zurich. 7 All rights reserved. 8 9 This file is distributed under the terms in the attached LICENSE file. 10 If you do not find this file, copies can be found by writing to: 11 ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group. 12%endif 13 14%if false 15 16> {-# OPTIONS_GHC -fglasgow-exts #-} 17 18> module Hamlet where 19 20> import Debug.Trace 21 22> import Semantics 23> import Expressions 24 25> import Conditionals 26> import References 27> import Functions 28> import Structures 29> import Arrays 30> import StaticArrays 31> import Enumerations 32> import Skip 33> import Typedef 34 35> import Libc.Assert 36> import Libc.Printf 37 38> import Run 39> import Compile 40 41%endif 42 43