CThuleHansen

// ConsoleApplication1.cpp : Defines the entry point for the console application.
//

#include "stdafx.h"
#include <iostream>
#include <Windows.h>
using namespace std;
#include <strsafe.h>

CThuleHansen

  (<*>) :: 
    ExactlyOne (a -> b)
    -> ExactlyOne a
    -> ExactlyOne b
  (<*>) (ExactlyOne f) = (<$>) f 

CThuleHansen

class controller
types
pos = <A> | <B> | <C>;
vehicle :: 	ID: token
						size : int
						position: pos;
area :: ID : token
				size : int
				position: pos

CThuleHansen

dyld: lazy symbol binding failed: Symbol not found: _setup
  Referenced from: /var/folders/nj/vm2h1dns1418tt089bntj5tw0000gn/T/ghc35324_0/libghc_1.dylib
  Expected in: flat namespace

dyld: Symbol not found: _setup
  Referenced from: /var/folders/nj/vm2h1dns1418tt089bntj5tw0000gn/T/ghc35324_0/libghc_1.dylib
  Expected in: flat namespace

cabal: repl failed for flib:HFMU from hfmu-0.1.0.0. The build process
terminated with exit code -6

CThuleHansen

/*
 * #%~
 * VDM to Isabelle Translation
 * %%
 * Copyright (C) 2008 - 2015 Overture
 * %%
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as
 * published by the Free Software Foundation, either version 3 of the
 * License, or (at your option) any later version.

CThuleHansen

case TR.readEither parameterValue of 
                Left x -> Left $ "Failed to convert " ++ parameterName ++ " to an Int."
                Right x -> Right x

CThuleHansen

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
-- For aeson generic
{-# LANGUAGE DeriveGeneric #-}
module Lib
    ( someFunc
    ) where

import qualified FMUAnalyzer
import qualified VDMCheck

CThuleHansen

{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE ScopedTypeVariables #-}
-- For aeson generic
{-# LANGUAGE DeriveGeneric #-}
module Lib
    ( someFunc
    ) where

import qualified FMUAnalyzer
import qualified VDMCheck