dhallish 0.2.0

checksums.yaml

@@ -0,0 +1,7 @@
+---
+SHA256:
+  metadata.gz: f528e78ecd6b920d3a5a3d302e0493a39c09576a5a574c40b4b71c0f41bc9201
+  data.tar.gz: 190f7133c192fa5d9836705b48f6d6f0c6884e7f84a4b6d23a23c2eae788402f
+SHA512:
+  metadata.gz: b196bb386fa62efdeafb7f698f18ae4a1ec4a6966d6fa251190a240d7affd8395f3fb17e0742d6855a678a94197794641c27a2e001cd08e7a9bca2787db4faf9
+  data.tar.gz: ef0e34ffc81493a29591476ca12592b74414cef0fc2f9286ccc9fb44f021ed923b653531a917e5052cdb60c8b3fed2f74a8eb1e0d6b07a1fb36114bfe787c414

data/bin/dhallish

@@ -0,0 +1,65 @@
+#!/usr/bin/env ruby
+
+time1 = Time.now
+
+this_file = File.realpath(__FILE__)
+require File.expand_path("../lib/dhallish.rb", File.dirname(this_file))
+require 'json'
+
+time2 = Time.now
+
+pretty_json = false
+show_type = false
+read_from_file = nil
+measure_time = false
+
+ARGV.each { |arg|
+	case arg
+	when "--pretty"
+		pretty_json = true
+	when "--type"
+		show_type = true
+	when "--time"
+		measure_time = true
+	else
+		if File.file?(arg)
+			read_from_file = arg
+		else
+			STDERR.puts "usage: dhallish [--type | --pretty] [file.dhall]"
+			exit! 1
+		end
+	end
+}
+
+if read_from_file.nil?
+	input = $stdin.read
+else
+	file = File.open(read_from_file)
+	input = file.read
+	file.close
+end
+
+time3 = Time.now
+
+begin
+	res, type = Dhallish::evaluate(input)
+rescue DhallError => err
+	STDERR.puts err
+	exit! 1
+else
+	if show_type
+		puts type.to_s
+	elsif pretty_json
+		json = JSON.parse(Dhallish::to_json res)
+		puts JSON.pretty_generate(json)
+	else
+		puts Dhallish::to_json res
+	end
+end
+
+time4 = Time.now
+if measure_time
+	puts ""
+	puts "time loading dhallish.rb:        #{time2 - time1}"
+	puts "time for typecheck+evaluate:     #{time4 - time3}"
+end